Agda.Syntax.Concrete.Operators.Parser
data ExprView e
class IsExpr e
partP
binop
preop
postop
opP
rebuild
rebuildBinding
infixP
infixrP
infixlP
postfixP
prefixP
nonfixP
argsP
appP
atomP