goblint.lib
Spec.H
goblint.sites
goblint_sites_dune
goblint_sites_js
module G : sig ... end
val h : (G.k, G.v) BatteriesExceptionless.Hashtbl.t
val add : G.k -> G.v -> unit
val get : G.k -> G.v option
val inv : G.v -> G.k option