You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
Deadcode
module Locmap : sig ... end
val dead_branches_then : bool Locmap.t
val dead_branches_else : bool Locmap.t
val dead_branches_cond : Cil.exp Locmap.t