sig
  type value
  type valuation
  type context
  val evaluate :
    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