Agda.Syntax.Concrete.Operators
parseApplication
parseLHS
paren
mparen