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