You can search for identifiers within the package.
in-package search v0.2.0
The signature of the internal operations, required by the Root functor below.
Root
module X : sig ... end
module type UNSAFE