goblint.lib
DomVariantSysVar.DLSpec
goblint.sites
goblint_sites_dune
goblint_sites_js
val assoc_dom : int -> (module Analyses.SpecSysVar)
val domain_list : unit -> (int * (module Analyses.SpecSysVar)) list