====== Structured Types ======

===== struct =====

==== primitive operators ====

<code>

</code>

==== primitive functions ====

<code>

</code>

===== array =====

==== primitive operators ====

<code>

</code>

==== primitive functions ====

<code>
#FUNCTION initArray : array[1..??] of LIKE ; LIKE -> array[1..??] of LIKE .
  #possible only in the grammar
#FUNCTION arrayAsSet : array[1..MaxInt] -> setOf Integer .
  #possible only if there are global constants
</code>

===== range =====

==== primitive operators ====

<code>

</code>

==== primitive functions ====

<code>
FUNCTION indexAsSet : array[1..100] of Integer -> setOf Integer .
</code>

===== enum =====

==== primitive operators ====

<code>

</code>

==== primitive functions ====

<code>

</code>