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