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