You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
BaseUtil
val is_global : Queries.ask -> Cil.varinfo -> bool
val is_static : Cil.varinfo -> bool
val is_always_unknown : Cil.varinfo -> bool
val is_precious_glob : Cil.varinfo -> bool