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