goblint.lib
Spec.SymTbl
goblint.sites
goblint_sites_dune
goblint_sites_js
module G : sig ... end
val h : (G.k, int) BatteriesExceptionless.Hashtbl.t
val get : G.k -> int
val inv : int -> G.k option
val to_list : unit -> (G.k * int) list