Index - B
| BAdd | Predicate |
| base16 | Refined3Helper |
| BaseIJ | Refined3Helper |
| BaseIJ' | Refined3Helper |
| BaseN | Refined3Helper |
| Between | Predicate |
| Between' | Predicate |
| BetweenR | Refined3Helper |
| BetweenT | UtilP |
| Bin | Predicate |
| BinOp | Predicate |
| BMult | Predicate |
| BoolP | UtilP |
| BoolT | UtilP |
| boolT2P | UtilP |
| Break | Predicate |
| BSub | Predicate |