DomFunctor.ExpEval
type t = BaseComponents(PrivD).t
val eval_exp : t -> GoblintCil.Cil.exp -> Z.t option