You can search for identifiers within the package.
in-package search v0.2.0
type t = Semaphore.Binary.t
val make : bool -> t
val release : t -> unit
val acquire : t -> unit
val try_acquire : t -> bool