goblint.lib
Monotone.AF
goblint.sites
goblint_sites_dune
goblint_sites_js
val abstract : CD.t -> AD.t
val check_leq : CD.t -> AD.t -> bool