Agda.Syntax.Abstract.Pretty

showA

prettyA

prettyAs

showATop

prettyATop