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