goblint.lib
CommonPriv.ProtectionLogging
goblint.sites
goblint_sites_dune
goblint_sites_js
module GM : sig ... end
module VarSet : sig ... end
val gm : VarSet.t GM.t
val record : GM.key -> VarSet.elt -> unit
val dump : unit -> unit