You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
WitnessUtil.InvariantExp
module ES : sig ... end
val pullOutCommonConjuncts : GoblintCil.Cil.exp -> ES.t
val process_exp : GoblintCil.exp -> ES.elt list