positions s(t0), s(t [...] derivatives s’(t0) and s’(t [...] deltaT = t1 - t0 and
DestAddress ARRAY [0..5] OF BYTE [...] SrcAddress ARRAY [0..5] OF BYTE [...] [0..5] OF BYTE aby
UserGroups POINTER TO ARRAY [0..0 [...] UserGroupTextIds POINTER TO ARRAY [0..0
TabOrderIdArray : POINTER TO ARRAY [0..0 [...] TabOrderIdArray POINTER TO ARRAY [0..0
ElementArray : POINTER TO ARRAY [0..0 [...] ElementArray POINTER TO ARRAY [0..0
ElementIdArray : POINTER TO ARRAY [0..0 [...] ElementIdArray POINTER TO ARRAY [0..0
with ‘(’. Set to 0 [...] CmtMultiStartDelim WORD 0 Two-character [...] CmtMultiEndDelim WORD 0 Two-character
ARRAY [0..0] OF [...] Replacement POINTER TO ARRAY [0..0
Par BIT 0 : No update [...] Dev BIT 0 : No [...] Number) PortActive BIT 0
state w0 at time t = 0 with w0.ds [...] bound tUp > 0 for t