Parameter Create.B

The equivalence class of text symbols.

val advance : position -> Symbol.t -> position

Scanners use advance pos sym to make the position immediately after pos when occupied by sym.