Module RteGen

module RteGen: sig .. end
Consult internal plug-in documentation for more details

module Flags: module type of Flags
Flags for filtering Alarms
module Generator: module type of Generator
RTE Generator Status & Emitters
module Visit: sig .. end
Visitors to iterate over Alarms and/or generate Code-Annotations