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 |
bestSplit | Data.Number.ER.Real.DomainBox |
binaryLog | Data.Number.ER.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 |
bounds2ira | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
Box | Data.Number.ER.Real.DomainBox.IntMap |
BR | Data.Number.ER.Real.DefaultRepr, Data.Number.ER.Real, Data.Number.ER |