You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
Printer.debugCilPrinterClass
inherit Cil.defaultCilPrinterClass
method pStmtKind : Cil.stmt -> unit -> Cil.stmtkind -> Pretty.doc