Module type Subdivided_evaluation.Forward_Evaluation

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