Agda.Syntax.Parser.LookAhead
data LookAhead a
runLookAhead
getInput
setInput
liftP
nextChar
eatNextChar
sync
rollback
match
match'