Index - N
| NamedRewriteRule | DDC.Core.Transform.Rewrite.Rule |
| NamedRewriteRules | DDC.Core.Simplifier |
| Namifier | |
| 1 (Type/Class) | DDC.Core.Transform.Namify |
| 2 (Data Constructor) | DDC.Core.Transform.Namify |
| namifierEnv | DDC.Core.Transform.Namify |
| namifierNew | DDC.Core.Transform.Namify |
| namifierStack | DDC.Core.Transform.Namify |
| Namify | |
| 1 (Type/Class) | DDC.Core.Transform.Namify |
| 2 (Data Constructor) | DDC.Core.Simplifier |
| namify | DDC.Core.Transform.Namify |
| namifyUnique | DDC.Core.Transform.Namify |
| NoInformation | DDC.Core.Simplifier.Result |