You can search for identifiers within the package.
in-package search v0.2.0
module T : BinaryTypeS
type ('a, 'b, 'occurrence) item =
| None : (_, _, [ `Absent ]) item
| Some : ('a, 'b) T.t -> ('a, 'b, _) item
type ('sequence, 'b, 'occurrences) t =
| [] : (unit, _, unit) t
| :: : ('head, 'b, 'occurrence) item * ('tail, 'b, 'occurrences) t -> ('head * 'tail, 'b, 'occurrence * 'occurrences) t
module Unary (U : TypeS) : sig ... end