eof

fun eof()

Matches the end of the input string.