You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
LoopUnrolling.isPointedAtVisitor
inherit GoblintCil.nopCilVisitor
method vexpr : GoblintCil.exp -> GoblintCil.exp GoblintCil.visitAction