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