module Eva_info: sig .. end
sig
end
Filled when Eva is loaded.
val loaded : bool Stdlib.ref
bool Stdlib.ref
val coverage_md_gen : (unit -> Markdown.elements) Stdlib.ref
(unit -> Markdown.elements) Stdlib.ref
val domains_md_gen : (unit -> (Markdown.text * Markdown.text) list) Stdlib.ref
(unit -> (Markdown.text * Markdown.text) list) Stdlib.ref