Agda.Syntax.Concrete.Operators
parseApplication
parseLHS
parsePattern
parsePatternSyn
paren
mparen
validConPattern
patternAppView
fullParen
buildParser
parsePat
getDefinedNames
data UseBoundNames
qualifierModules
patternQNames