Module type BaseDomain.ExpEvaluator

type t
val eval_exp : t -> GoblintCil.Cil.exp -> Z.t option