You can search for identifiers within the package.
in-package search v0.2.0
Type introspection.
Note. Available in 5.1.
type (_, _) eq =
| Equal : ('a, 'a) eq
The type for type quality testing.
module Id : sig ... end