module type Forward_Evaluation = sig .. end
sig
end
type value
type valuation
type context
val evaluate : context -> valuation -> Cil_types.exp -> (valuation * value) Eval.evaluated
context -> valuation -> Cil_types.exp -> (valuation * value) Eval.evaluated