Module Eva

module Eva: sig .. end

Eva public API.

The main modules are:

The following modules allow configuring the Eva analysis:

Other modules are for internal use only.


module Analysis: sig .. end
module Results: sig .. end
module Parameters: sig .. end
module Eva_annotations: sig .. end
module Eval: sig .. end
module Builtins: sig .. end
module Eval_terms: sig .. end
module Eva_results: sig .. end
module Unit_tests: sig .. end