Evaluation_sig
Generic evaluation and reduction of expressions and left values.
module type S = sig ... end
Frama-C