goblint.lib
WitnessUtil.InvariantExp
goblint.sites
goblint_sites_dune
goblint_sites_js
module ES : sig ... end
val pullOutCommonConjuncts : GoblintCil.Cil.exp -> ES.t
val process_exp : GoblintCil.exp -> ES.elt list