#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
FUNCTION indexAsSet : array[1..100] of Integer -> setOf Integer .