You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
SymTbl.G
type k
type v
val make_new_val : (k, v) BatteriesExceptionless.Hashtbl.t -> k -> v