Up – Package index » goblint » Library goblint.lib » Base » MainFunctor » RVEval

Parameter `MainFunctor.RVEval`

type t = BaseComponents(Priv.D).t

val eval_exp : t -> Cil.exp -> IntOps.BigIntOps.t option