You can search for identifiers within the package.
in-package search v0.2.0
frama-c-rtegen.core
RteGen
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
val compute : unit -> unit
Same result as having -rte on the command line
-rte
module Api : module type of Api