You can search for identifiers within the package.
in-package search v0.2.0
Bounded int32.
int32
module type BOUNDS = sig ... end
Bounds.
module type S = sig ... end
module Make (_ : BOUNDS) : S
Produce a module _ : S of bounded integers.
_ : S
module NonNegative : S