Module Eva_dynamic.RteGen

module RteGen: sig .. end

val mark_generated_rte : unit -> unit

Marks all RTE as generated. Does nothing if the rte plugin is missing.