Module Eva_coverage

module Eva_coverage: sig .. end

generates a coverage summary of EVA's run


val md_gen : unit -> Markdown.element list