MB_Transmission (ENUM) ¶ TYPE MB_Transmission : InOut: Name RTU

InOut: Scope Name Type Inout vars Dbg_Vars

InOut: Scope Name Type Inout vars Dbg_Vars

) ¶ FUNCTION Trj_Assign InOut: Scope Name Type Inout [...] Inout Const tr

Gamma InOut: Scope Name Type Inout Gamma

Gamma InOut: Scope Name Type Inout Gamma

State_Zero InOut: Scope Name Type Inout w DynState

InOut: Scope Name Type Inout vars Dbg_Vars

INADDR (STRUCT) ¶ TYPE INADDR : STRUCT InOut: Name Type S

_only InOut: Name NO_ERROR