Id | DDC.Core.Simplifier |
idsimp | DDC.Core.Simplifier.Recipe |
infoBindings | DDC.Core.Transform.Forward |
infoBindingsErased | DDC.Core.Transform.Prune |
infoSubsts | DDC.Core.Transform.Forward |
infoTypes | DDC.Core.Transform.Beta |
infoValues | DDC.Core.Transform.Beta |
infoValuesLetted | DDC.Core.Transform.Beta |
infoValuesSkipped | DDC.Core.Transform.Beta |
infoWits | DDC.Core.Transform.Beta |
Inline | DDC.Core.Simplifier |
inline | DDC.Core.Transform.Inline |
InlinerTemplates | DDC.Core.Simplifier |
InlineSpec | DDC.Core.Transform.Inline |
InlineSpecAll | DDC.Core.Transform.Inline |
inlineSpecExclude | DDC.Core.Transform.Inline |
inlineSpecInclude | DDC.Core.Transform.Inline |
inlineSpecModuleName | DDC.Core.Transform.Inline |
InlineSpecNone | DDC.Core.Transform.Inline |
insertDef | DDC.Core.Transform.Rewrite.Env |
isBMSpec | DDC.Core.Transform.Rewrite.Rule |
isBMValue | DDC.Core.Transform.Rewrite.Rule |