Agda.Syntax.Fixity
Fixity
data Fixity'
data ThingWithFixity x
data NewNotation
namesToNotation
useDefaultFixity
notationNames
syntaxOf
noFixity'
mergeNotations
data NotationSection
noSection
data PrecedenceLevel
data Associativity
data Fixity
noFixity
defaultFixity
data Precedence
hiddenArgumentCtx
opBrackets
lamBrackets
appBrackets
withAppBrackets
piBrackets
roundFixBrackets
_notaFixity
_fixityAssoc
_fixityLevel