Frama-C:
Plug-ins:
Libraries:

Frama-C API - Markdown_report_eva_info

module Eva_info : sig ... end

Only loaded when Eva is loaded. Nothing is exported, rather the module does fill the functions of Md_gen.Eva_info.