Agda.Utils.Parser.MemoisedCPS

data Parser k r tok a

parse

token

tok

sat

chainl1

chainr1

memoise