sig
type value
type valuation
type context
val evaluate :
subdivided:bool ->
Subdivided_evaluation.Forward_Evaluation.context ->
Subdivided_evaluation.Forward_Evaluation.valuation ->
Cil_types.exp ->
(Subdivided_evaluation.Forward_Evaluation.valuation *
Subdivided_evaluation.Forward_Evaluation.value)
Eval.evaluated
end