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