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