indexRefSort function
A reference to a datatype at the index index
, only used in recursive
datatypes.
Implementation
IndexRefSort indexRefSort(int index) => IndexRefSort(index).declare();
A reference to a datatype at the index index
, only used in recursive
datatypes.
IndexRefSort indexRefSort(int index) => IndexRefSort(index).declare();