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