goblint.lib
Spec.Prios
goblint.sites
goblint_sites_dune
goblint_sites_js
val h : (pname, int64) BatteriesExceptionless.Hashtbl.t
val add : pname -> int64 -> unit
val get : pname -> int64 option
val inv : int64 -> pname option