You can search for identifiers within the package.
in-package search v0.2.0
module T : UnaryTypeS
type ('a, 'a_t, 'f, 'result, 'is_empty) t =
| O : ('a, 'a_t, 'a, 'a_t, [ `Empty ]) t
| S : ('a, 'a_t, 'f, 'result, _) t -> ('a, 'a_t, 'x -> 'f, 'x T.t -> 'result, [ `Not_empty ]) t