Agda.Syntax.Concrete.Operators

parseApplication

parseModuleApplication

parseLHS

parsePattern

parsePatternSyn

paren

mparen

validConPattern

patternAppView

fullParen

buildParsers

buildParser

parsePat

getDefinedNames

data UseBoundNames

qualifierModules

patternQNames