_CreateArray [...] _CreateArrayReceiver : [...] an Array Receiver. In
INamespaceArray [...] INamespaceArray EXTENDS [...] NamespaceIndex ReadNamespaceArray
MappingDesc_Array [...] _BLOCK MappingDesc_ArraySubRange EXTENDS SymbolicVarsBase.TypeDesc_Array
ParseArray [...] ParseArrayAccess : [...] for CmpArrayAccess In
IListIterator.ElementArray [...] ElementArray : POINTER [...] to the array list
DynVStateArray_Dist (FUN) ¶ FUNCTION DynVStateArray [...] Return DynVStateArray
ISafeListIterator.ElementArray [...] ElementArray : POINTER [...] to the array list
ArrayType (STRUCT) ¶ TYPE Array [...] Dimension POINTER TO ARRAY [0
ARRAY_RECV_ENTRY (STRUCT) ¶ TYPE ARRAY [...] entry for an Array
Assert_Array [...] Assert_Array [...] that an ARRAY OF BOOL