You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
ListDomain
module GU = Goblintutil
module type S = sig ... end
val list_poison : Cil.varinfo
module SimpleList (Base : Lattice.S) : S with type elem = Base.t