You can search for identifiers within the package.
in-package search v0.2.0
type 'a t = private
| T : {
trait : ('t, 'module_type, _) Trait.t;
implementation : 'module_type;
} -> 't t
A binding associates a Trait with an implementation for it.
val uid : _ t -> Trait.Uid.t
val info : _ t -> Trait.Info.t