Parameter (PARAMS) ¶ InOut: Scope Name Type Initial
Out: Scope Name Type
_only InOut: Name BS
SMC_Seq_InitEmpty (FUN) ¶ FUNCTION SMC_Seq_InitEmpty InOut: Scope Name
Out: Scope Name Type Inout
PathElems_Invalidate InOut: Scope Name
Name Type Input init
Infos_SetUnlimited InOut: Scope Name
