module type Forward_Evaluation =sig
..end
type
value
type
valuation
type
state
val evaluate : ?valuation:valuation ->
fuel:int ->
state ->
Cil_types.exp ->
(valuation *
value)
Eval.evaluated