Agda.Syntax.Abstract.Pretty

showA

prettyA

showATop

prettyATop