Index - S
| Seq | DDC.Core.Simplifier |
| Side | DDC.Core.Transform.Rewrite.Rule |
| Simplifier | DDC.Core.Simplifier |
| SimplifierDetails | |
| 1 (Type/Class) | DDC.Core.Simplifier.Parser |
| 2 (Data Constructor) | DDC.Core.Simplifier.Parser |
| simplifierMkNamifierT | DDC.Core.Simplifier.Parser |
| simplifierMkNamifierX | DDC.Core.Simplifier.Parser |
| simplifierRules | DDC.Core.Simplifier.Parser |
| simplifierTemplates | DDC.Core.Simplifier.Parser |
| Snip | |
| 1 (Type/Class) | DDC.Core.Transform.Snip |
| 2 (Data Constructor) | DDC.Core.Simplifier |
| snip | |
| 1 (Function) | DDC.Core.Transform.Snip |
| 2 (Function) | DDC.Core.Simplifier.Recipe |
| snipOver | DDC.Core.Simplifier.Recipe |
| SubstInfo | DDC.Core.Transform.Rewrite.Match |