15.1 Notations

In the definitions, the following notations are used.

•

Terminal symbols are written as "SML#" using a typewriter font.
•

Non-terminal symbols are written as $\,\langle$ exp $\rangle\,$ with angle brackets.
•

$($ opt $)?$ represents that opt is optional.
•

For a syntax class $\,\langle$ x $\rangle\,$ , the notation $\,\langle$ xList $\rangle\,$ represents list of one of more $\,\langle$ x $\rangle\,$ ’s separated by white space, and $\,\langle$ xSeq $\rangle\,$ denotes one of the following.

$\,\langle$ xSeq $\rangle\,$ ::= $\,\langle$ x $\rangle\,$ (one element)

$|$ (empty)

$|$ ( $\,\langle$ x $\rangle\,$ ${}_{1}$ , $\cdots$ , $\,\langle$ x $\rangle\,$ ${}_{n}$ ) ( $n$ -ary tuple)

$\,\langle$ xSeq $\rangle\,$	::=	$\,\langle$ x $\rangle\,$	(one element)
	$\|$		(empty)
	$\|$	( $\,\langle$ x $\rangle\,$ ${}_{1}$ , $\cdots$ , $\,\langle$ x $\rangle\,$ ${}_{n}$ )	( $n$ -ary tuple)