Agda.Syntax.Fixity

data Fixity'

data ThingWithFixity x

type NewNotation

oldToNewNotation

syntaxOf

data Fixity

fixityLevel

defaultFixity

data Precedence

hiddenArgumentCtx

opBrackets

lamBrackets

appBrackets

withAppBrackets

piBrackets

roundFixBrackets