module Eva_coverage: sig .. end
sig
end
generates a coverage summary of EVA's run
val md_gen : unit -> Markdown.element list
unit -> Markdown.element list