Module Eva_coverage

module Eva_coverage: sig .. end
generates a coverage summary of EVA's run

val md_gen : unit -> Markdown.element list