Agda.Syntax.Parser.LookAhead

The LookAhead monad

data LookAhead a

Operations