goblint.lib
TwoPhased.T
Helper module for variable setting deps.
goblint.sites
goblint_sites_dune
goblint_sites_js
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