Gamma InOut: Scope Name Type Inout Gamma

State_Zero InOut: Scope Name Type Inout w DynState

InOut: Scope Name Type Inout vars Dbg_Vars

_only InOut: Name NO_ERROR

PARAM_ACCESS (ENUM) ¶ TYPE PARAM_ACCESS : InOut: Name

PARAM_PARITY (ENUM) ¶ TYPE PARAM_PARITY : InOut: Name EVEN

PARAM_TRIGGER (ENUM) ¶ TYPE PARAM_TRIGGER : InOut: Name CYCLIC

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

GVL (GVL) ¶ InOut: Name Type g_VisuCommandManager CommandManager

MB_Parity (ENUM) ¶ TYPE MB_Parity : InOut: Name NONE ODD EVEN