| B | Data.Number.ER.Real.DefaultRepr, Data.Number.ER.Real, Data.Number.ER |
| BAP | Data.Number.ER.Real.DefaultRepr, Data.Number.ER.Real, Data.Number.ER |
| besidesTable | Data.Number.ER.ShowHTML |
| bestSplit | Data.Number.ER.BasicTypes.DomainBox |
| BGran100 | |
| 1 (Type/Class) | Data.Number.ER.Real.Base.Tests.Generate |
| 2 (Data Constructor) | Data.Number.ER.Real.Base.Tests.Generate |
| BGran1000 | |
| 1 (Type/Class) | Data.Number.ER.Real.Base.Tests.Generate |
| 2 (Data Constructor) | Data.Number.ER.Real.Base.Tests.Generate |
| BGran20 | |
| 1 (Type/Class) | Data.Number.ER.Real.Base.Tests.Generate |
| 2 (Data Constructor) | Data.Number.ER.Real.Base.Tests.Generate |
| binaryLog | Data.Number.ER.BasicTypes.ExtendedInteger |
| bisectDomain | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| BM | Data.Number.ER.Real.DefaultRepr, Data.Number.ER.Real, Data.Number.ER |
| BMAP | Data.Number.ER.Real.DefaultRepr, Data.Number.ER.Real, Data.Number.ER |
| bool2maybe | Data.Number.ER.Misc |
| bottomApprox | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| bounds | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| Box | Data.Number.ER.BasicTypes.DomainBox.IntMap |
| BR | Data.Number.ER.Real.DefaultRepr, Data.Number.ER.Real, Data.Number.ER |