Semaphore.Binary
type t
val make : bool -> t
val release : t -> unit
val acquire : t -> unit
val try_acquire : t -> bool