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