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