Agda.Syntax.Concrete.Operators.Parser.Monad
data MemoKey
type Parser tok a
parse
token
sat
tok
annotate
memoise
memoiseIfPrinting
grammar