goblint.lib
DomFunctor.ExpEval
goblint.sites
goblint_sites_dune
goblint_sites_js
type t = BaseComponents(PrivD).t
val eval_exp : t -> Cil.exp -> IntOps.BigIntOps.t option