You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
CommonPriv.ProtectionLogging
module GM : sig ... end
module VarSet : sig ... end
val gm : VarSet.t GM.t
val record : GM.key -> VarSet.elt -> unit
val dump : unit -> unit