VDM-10 Language Manual

Appendix A. The Syntax of the VDM Languages
A.7.7
The Iota Expression
iota expression = ‘iota’, bind, ‘&’, expression ;
A.7.8
Set Expressions
set enumeration = ‘{’, [ expression list ], ‘}’ ;
set comprehension = ‘{’, expression, ‘|’, bind list,
[ ‘&’, expression ], ‘}’ ;
set range expression = ‘{’, expression, ‘,’, ‘...’, ‘,’,
expression, ‘}’ ;
A.7.9
Sequence Expressions
sequence enumeration = ‘[’, [ expression list ], ‘]’ ;
sequence comprehension = ‘[’, expression, ‘|’, set bind,
[ ‘&’, expression ], ‘]’ ;
subsequence = expression, ‘(’, expression, ‘,’, ‘...’, ‘,’,
expression, ‘)’ ;
A.7.10
Map Expressions
map enumeration = ‘{’, maplet, { ‘,’, maplet }, ‘}’
| ‘{’, ‘|->’, ‘}’ ;
maplet = expression, ‘|->’, expression ;
map comprehension = ‘{’, maplet, ‘|’, bind list,
[ ‘&’, expression ], ‘}’ ;
A.7.11
The Tuple Constructor Expression
tuple constructor = ‘mk ’, ‘(’, expression, ‘,’, expression list, ‘)’ ;
189