Agda.Compiler.Agate.TranslateName
translateNameAsUntypedTerm
translateNameAsUntypedConstructor
translateNameAsOptimizedType
translateNameAsOptimizedTerm
translateNameAsOptimizedConstructor
escape