Module type Subdivided_evaluation.Forward_Evaluation

module type Forward_Evaluation = sig .. end

type value 
type valuation 
type context 
val evaluate : context ->
valuation ->
Cil_types.exp ->
(valuation *
value)
Eval.evaluated