You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
H.HeapCompare
type t = S.Var.t
val compare : HM.key -> HM.key -> int