Beta | DDC.Core.Simplifier |
beta | DDC.Core.Simplifier.Recipe |
betaLets | DDC.Core.Simplifier.Recipe |
betaReduce | DDC.Core.Transform.Beta |
BindMode | DDC.Core.Transform.Rewrite.Rule |
BMSpec | DDC.Core.Transform.Rewrite.Rule |
BMValue | DDC.Core.Transform.Rewrite.Rule |
Boxing | DDC.Core.Transform.Boxing |
boxing | DDC.Core.Transform.Boxing |
Bubble | DDC.Core.Simplifier |
bubble | DDC.Core.Simplifier.Recipe |
bubbleModule | DDC.Core.Transform.Bubble |
bubbleX | DDC.Core.Transform.Bubble |