You can search for identifiers within the package.
in-package search v0.2.0
Uniform interface for common data structures over various things.
module type Thing = sig ... end
module Pair (A : Thing) (B : Thing) : Thing with type t = A.t * B.t
module type S = sig ... end
module Make (T : Thing) : S with type t := T.t