Agda.Compiler.Agate.OptimizedPrinter
showAsOptimizedConstructor
showOptimizedDefinitions
showTypeDeclarations
showTypeDeclaration
showTypeParameter
underDatatypeParameters
showValueDefinitions
showValueDefinition
showOptimizedClause
class
ShowAsOptimizedKind
a
class
ShowAsOptimizedType
a
class
ShowAsOptimizedTerm
a