| B | |
| 1 (Type/Class) | Documentation.SBV.Examples.KnuckleDragger.Lists |
| 2 (Data Constructor) | Documentation.SBV.Examples.Misc.Enumerate |
| 3 (Data Constructor) | Documentation.SBV.Examples.Misc.FirstOrderLogic |
| 4 (Data Constructor) | Documentation.SBV.Examples.Queries.FourFours |
| 5 (Type/Class) | Documentation.SBV.Examples.Uninterpreted.Deduce |
| badLengthProof | Documentation.SBV.Examples.KnuckleDragger.Lists |
| BadPostcondition | Data.SBV.Tools.WeakestPreconditions |
| BadPrecondition | Data.SBV.Tools.WeakestPreconditions |
| badRevLen | Documentation.SBV.Examples.KnuckleDragger.Lists |
| Bar | Documentation.SBV.Examples.Puzzles.Murder |
| Basahan | Documentation.SBV.Examples.Puzzles.Orangutans |
| Baseball | Documentation.SBV.Examples.Puzzles.Fish |
| basis | Documentation.SBV.Examples.Existentials.Diophantine |
| bcc | Documentation.SBV.Examples.BitPrecise.Legato |
| BD | Documentation.SBV.Examples.Puzzles.Birthday |
| Beach | Documentation.SBV.Examples.Puzzles.Murder |
| Beer | Documentation.SBV.Examples.Puzzles.Fish |
| Beverage | Documentation.SBV.Examples.Puzzles.Fish |
| big | Documentation.SBV.Examples.Puzzles.DieHard |
| BigToSmall | Documentation.SBV.Examples.Puzzles.DieHard |
| bill | Documentation.SBV.Examples.Puzzles.KnightsAndKnaves |
| 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 |
| Birthday | Documentation.SBV.Examples.Puzzles.Birthday |
| 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.Trans, Data.SBV, Data.SBV.Dynamic |
| Black | Documentation.SBV.Examples.Puzzles.HexPuzzle |
| black | Documentation.SBV.Examples.Puzzles.Rabbits |
| 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.Prince |
| 2 (Type/Class) | Documentation.SBV.Examples.Crypto.SHA |
| 3 (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 |
| bmcCover | Data.SBV.Tools.BMC |
| bmcCoverWith | Data.SBV.Tools.BMC |
| bmcRefute | Data.SBV.Tools.BMC |
| bmcRefuteWith | Data.SBV.Tools.BMC |
| 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 |
| bookKeeping | Documentation.SBV.Examples.KnuckleDragger.Lists |
| BooleanAlgebra | Documentation.SBV.Examples.KnuckleDragger.ShefferStroke |
| BooleanAlgebraProof | |
| 1 (Type/Class) | Documentation.SBV.Examples.KnuckleDragger.ShefferStroke |
| 2 (Data Constructor) | Documentation.SBV.Examples.KnuckleDragger.ShefferStroke |
| Boolector | Data.SBV.Internals, Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic |
| boolector | Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic |
| bot_le | Documentation.SBV.Examples.KnuckleDragger.ShefferStroke |
| Boundary | Data.SBV.Tools.Range |
| BoundedCV | Data.SBV.Internals, Data.SBV.Trans, Data.SBV |
| Briton | Documentation.SBV.Examples.Puzzles.Fish |
| 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.Internals, Data.SBV.Trans |
| 2 (Function) | Data.SBV |
| bvExtract | |
| 1 (Function) | Data.SBV.Internals, Data.SBV.Trans |
| 2 (Function) | Data.SBV |
| BVIsNonZero | Data.SBV.Trans, Data.SBV |
| bvMulO | Data.SBV.Tools.Overflow |
| bvNegO | Data.SBV.Tools.Overflow |
| bvSubO | Data.SBV.Tools.Overflow |
| bvTake | |
| 1 (Function) | Data.SBV.Internals, 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 |