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