Index - B
| backPropagation | Constrained.TheKnot |
| backwardsSubstitution | Constrained.Syntax |
| badTreeInteraction | Constrained.Examples.Tree, Constrained.Examples |
| Bar | |
| 1 (Data Constructor) | Constrained.Examples.CheatSheet |
| 2 (Data Constructor) | Constrained.Examples.Basic, Constrained.Examples |
| BaseW | Constrained.Base |
| basicSpec | Constrained.Examples.Basic, Constrained.Examples |
| Baz | Constrained.Examples.CheatSheet |
| between | Constrained.TheKnot, Constrained.API |
| BinaryShow | |
| 1 (Type/Class) | Constrained.Base |
| 2 (Data Constructor) | Constrained.Base |
| bind | Constrained.Base |
| Binder | Constrained.Base |
| BinNode | Constrained.Spec.Tree |
| BinTip | Constrained.Spec.Tree |
| BinTree | Constrained.Spec.Tree |
| booleanExample | Constrained.Examples.CheatSheet |
| boolSem | Constrained.TheKnot |
| BoolW | Constrained.TheKnot |
| branch | Constrained.Spec.SumProd, Constrained.API |
| branchW | Constrained.Spec.SumProd, Constrained.API |