You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
Make0.T
Helper module for variable setting deps.
val sub : 'a HM.t -> HM.key -> 'a option
val update : 'a HM.t -> HM.key -> 'a -> unit
val set : unit HM.t HM.t