You can search for identifiers within the package.
in-package search v0.2.0
module type FUNCTOR = sig ... end
type (+'a, 't) io
type 't state = {
bind : 'a 'b. ('a, 't) io -> ('a -> ('b, 't) io) -> ('b, 't) io;
return : 'a. 'a -> ('a, 't) io;
}
type 't both = {
f : 'a 'b. ('a, 't) io -> ('b, 't) io -> ('a * 'b, 't) io;
module type X = sig ... end
module Make (T : FUNCTOR) : X with type 'a s = 'a T.t
module type FLOW = sig ... end
module type STREAM = sig ... end
module type DNS = sig ... end