Agda.Compiler.Agate.UntypedPrinter
showAsUntypedConstructor
class
ShowAsUntypedTerm
a
showUntypedApp
showUntypedDefinition
untypedAbs
showUntypedClause