Agda.Syntax.Concrete.Operators

parseApplication

parseModuleApplication

parseLHS

parsePattern

parsePatternSyn