You can search for identifiers within the package.
in-package search v0.2.0
type (!'a, !'b) union =
| Inl of 'a
| Inr of 'b
type !'a until =
| Stop of 'a
| Cont of 'a
type (!_, !_) eq =
| Refl : ('a, 'a) eq
module type SetS = sig ... end
module type EmptyS = sig ... end
module type MapS = sig ... end