Agda.Syntax.Concrete.Pretty
braces'
dbraces
bracesAndSemicolons
arrow
lambda
prettyHiding
prettyRelevance
data Tel
smashTel
prettyOpApp