Agda.Syntax.Concrete.Operators

parseApplication

parseLHS

parsePattern

parsePatternSyn

paren

mparen

validConPattern

patternAppView

fullParen

buildParser

parsePat

getDefinedNames

data UseBoundNames

qualifierModules

patternQNames