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