Agda.Utils.Parser.MemoisedCPS
class ParserClass p k r tok
sat
token
tok
doc
type DocP
bindP
choiceP
seqP
starP
atomP
data Parser k r tok a
data ParserWithGrammar k r tok a