Agda.Syntax.Fixity
Fixity
data Fixity'
data ThingWithFixity x
data NewNotation
oldToNewNotation
notationNames
syntaxOf
defaultFixity'
interestingFixities
chooseFixity
data Fixity
defaultFixity
noFixity
data Precedence
hiddenArgumentCtx
opBrackets
lamBrackets
appBrackets
withAppBrackets
piBrackets
roundFixBrackets