Module Eva

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


No function is directly exported: they are registered in Db.Value.
module Value_results: sig .. end