char

fun char(): Char

Reads the next character in the input. If the parser is already at the end of the input, parsing fails.