Module type Subdivided_evaluation.Forward_Evaluation

module type Forward_Evaluation = sig .. end

type value 

type valuation 

type context 

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