Index - B
| B | Data.SBV.Examples.Uninterpreted.AUF |
| bAll | Data.SBV |
| bAnd | Data.SBV |
| bAny | Data.SBV |
| bcc | Data.SBV.Examples.BitPrecise.Legato |
| bin | Data.SBV |
| binS | Data.SBV |
| Bit | Data.SBV.Examples.BitPrecise.Legato |
| bit | Data.SBV |
| Bits | Data.SBV |
| bitSize | Data.SBV |
| bitValue | Data.SBV |
| blastBE | Data.SBV |
| blastLE | Data.SBV |
| bne | Data.SBV.Examples.BitPrecise.Legato |
| bnot | Data.SBV |
| Board | |
| 1 (Type/Class) | Data.SBV.Examples.Puzzles.MagicSquare |
| 2 (Type/Class) | Data.SBV.Examples.Puzzles.Sudoku |
| Bono | Data.SBV.Examples.Puzzles.U2Bridge |
| bono | Data.SBV.Examples.Puzzles.U2Bridge |
| Boolean | Data.SBV |
| bOr | Data.SBV |
| bumpTime1 | Data.SBV.Examples.Puzzles.U2Bridge |
| bumpTime2 | Data.SBV.Examples.Puzzles.U2Bridge |
| BVDivisible | Data.SBV |
| bvQuotRem | Data.SBV |