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