You can search for identifiers within the package.
in-package search v0.2.0
module type S1 = sig ... end
module type S2 = sig ... end
val traverse : ('a -> ('b -> 'c) -> 'c) -> ('b list -> 'c) -> ('d -> 'a) -> 'd list -> 'c
val sequence : ('a -> ('b -> 'c) -> 'c) -> ('b list -> 'c) -> 'a list -> 'c
module Make1 (Monad : OBMonad.S1) : S1 with type 'a t := 'a Monad.t
module Make2 (Monad : OBMonad.S2) : S2 with type ('a, 'b) t := ('a, 'b) Monad.t