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