Index - B
| base | Recalc.Syntax.Term |
| Bool | Recalc.Syntax.Term |
| boolean | Recalc.Univer.Protocol |
| BooleanInt | |
| 1 (Type/Class) | Recalc.Univer.Protocol |
| 2 (Data Constructor) | Recalc.Univer.Protocol |
| BoolOf | Recalc.Syntax.Term |
| boolOf | Recalc.Syntax.Term |
| Bound | Recalc.Syntax.Term |
| braced | Recalc.Syntax.Term |