The equivalence relation on input symbols.

The signature of production forms.

An input stream position.

An input symbol conceptually attributed with its position.

Scanners use init symbol to make the first iota in the input stream. If ~start is provided, then it specifies the starting position in the stream of the result.

Scanners use next cursor symbol to make the iota comprising symbol at the position immediately following cursor.

Scanners use sym iota to get the symbol contained in iota.

Scanners use term iota to produce a terminal form comprising the symbol contained in iota attributed with its position.