Module Eva

module Eva: sig .. end
Analysis for values and pointers

module Value_results: sig .. end
module Value_parameters: sig .. end
module Eval_terms: sig .. end