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