| B | |
| 1 (Data Constructor) | Documentation.SBV.Examples.Misc.Enumerate |
| 2 (Data Constructor) | Documentation.SBV.Examples.Queries.FourFours |
| 3 (Type/Class) | Documentation.SBV.Examples.Uninterpreted.Deduce |
| badExample | Documentation.SBV.Examples.Misc.Definitions |
| BadPostcondition | Data.SBV.Tools.WeakestPreconditions |
| BadPrecondition | Data.SBV.Tools.WeakestPreconditions |
| ball | Data.SBV.Tools.BoundedList |
| band | Data.SBV.Tools.BoundedList |
| bany | Data.SBV.Tools.BoundedList |
| Bar | Documentation.SBV.Examples.Puzzles.Murder |
| Baseball | Documentation.SBV.Examples.Puzzles.Fish |
| basis | Documentation.SBV.Examples.Existentials.Diophantine |
| bcc | Documentation.SBV.Examples.BitPrecise.Legato |
| Beach | Documentation.SBV.Examples.Puzzles.Murder |
| Beer | Documentation.SBV.Examples.Puzzles.Fish |
| belem | Data.SBV.Tools.BoundedList |
| Beverage | Documentation.SBV.Examples.Puzzles.Fish |
| bfilter | Data.SBV.Tools.BoundedList |
| bfix | Data.SBV.Tools.BoundedFix |
| bfoldl | Data.SBV.Tools.BoundedList |
| bfoldlM | Data.SBV.Tools.BoundedList |
| bfoldr | Data.SBV.Tools.BoundedList |
| bfoldrM | Data.SBV.Tools.BoundedList |
| bimap | Data.SBV.Either |
| bin | Data.SBV.Internals |
| Binary | Documentation.SBV.Examples.Uninterpreted.Shannon |
| BinOp | Documentation.SBV.Examples.Queries.FourFours |
| binP | Data.SBV.Internals |
| binS | Data.SBV.Internals |
| Bird | Documentation.SBV.Examples.Puzzles.Fish |
| Bit | Documentation.SBV.Examples.BitPrecise.Legato |
| bit | Data.SBV.Trans, Data.SBV |
| bitDefault | Data.SBV.Trans, Data.SBV |
| bitReverse16 | Data.SBV.Trans, Data.SBV |
| bitReverse32 | Data.SBV.Trans, Data.SBV |
| bitReverse64 | Data.SBV.Trans, Data.SBV |
| bitReverse8 | Data.SBV.Trans, Data.SBV |
| Bits | Data.SBV.Trans, Data.SBV |
| bitSize | Data.SBV.Trans, Data.SBV |
| bitSizeMaybe | Data.SBV.Trans, Data.SBV |
| Bitwuzla | Data.SBV.Internals, Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic |
| bitwuzla | Data.SBV |
| Black | Documentation.SBV.Examples.Puzzles.HexPuzzle |
| blastBE | Data.SBV.Trans, Data.SBV |
| blastLE | Data.SBV.Trans, Data.SBV |
| blastSDouble | Data.SBV.Trans, Data.SBV |
| blastSFloat | Data.SBV.Trans, Data.SBV |
| blastSFloatingPoint | Data.SBV.Trans, Data.SBV |
| Block | |
| 1 (Type/Class) | Documentation.SBV.Examples.Crypto.SHA |
| 2 (Data Constructor) | Documentation.SBV.Examples.Crypto.SHA |
| blockSize | Documentation.SBV.Examples.Crypto.SHA |
| Blue | |
| 1 (Data Constructor) | Documentation.SBV.Examples.Puzzles.Fish |
| 2 (Data Constructor) | Documentation.SBV.Examples.Puzzles.Garden |
| 3 (Data Constructor) | Documentation.SBV.Examples.Puzzles.HexPuzzle |
| bmap | Data.SBV.Tools.BoundedList |
| bmapM | Data.SBV.Tools.BoundedList |
| bmaximum | Data.SBV.Tools.BoundedList |
| bmc | Data.SBV.Tools.BMC |
| bmcWith | Data.SBV.Tools.BMC |
| bminimum | Data.SBV.Tools.BoundedList |
| bne | Documentation.SBV.Examples.BitPrecise.Legato |
| Board | |
| 1 (Type/Class) | Documentation.SBV.Examples.Puzzles.MagicSquare |
| 2 (Type/Class) | Documentation.SBV.Examples.Puzzles.Sudoku |
| Bono | Documentation.SBV.Examples.Puzzles.U2Bridge |
| Boolector | Data.SBV.Internals, Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic |
| boolector | Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic |
| bor | Data.SBV.Tools.BoundedList |
| Boundary | Data.SBV.Tools.Range |
| BoundedCV | Data.SBV.Internals, Data.SBV.Trans, Data.SBV |
| bprod | Data.SBV.Tools.BoundedList |
| breverse | Data.SBV.Tools.BoundedList |
| Briton | Documentation.SBV.Examples.Puzzles.Fish |
| bsort | Data.SBV.Tools.BoundedList |
| bsum | Data.SBV.Tools.BoundedList |
| bumpTime1 | Documentation.SBV.Examples.Puzzles.U2Bridge |
| bumpTime2 | Documentation.SBV.Examples.Puzzles.U2Bridge |
| Button | Documentation.SBV.Examples.Puzzles.HexPuzzle |
| bvAddO | Data.SBV.Tools.Overflow |
| bvDivO | Data.SBV.Tools.Overflow |
| bvDrop | |
| 1 (Function) | Data.SBV.Trans |
| 2 (Function) | Data.SBV |
| bvExtract | |
| 1 (Function) | Data.SBV.Trans |
| 2 (Function) | Data.SBV |
| BVIsNonZero | Data.SBV.Trans, Data.SBV |
| bvMulO | Data.SBV.Tools.Overflow |
| bvMulOFast | Data.SBV.Tools.Overflow |
| bvNegO | Data.SBV.Tools.Overflow |
| bvSubO | Data.SBV.Tools.Overflow |
| bvTake | |
| 1 (Function) | Data.SBV.Trans |
| 2 (Function) | Data.SBV |
| Bystander | Documentation.SBV.Examples.Puzzles.Murder |
| ByteConverter | Data.SBV |
| byteSwap16 | Data.SBV.Trans, Data.SBV |
| byteSwap32 | Data.SBV.Trans, Data.SBV |
| byteSwap64 | Data.SBV.Trans, Data.SBV |
| bzipWith | Data.SBV.Tools.BoundedList |