| Base | Control.Search.Language |
| BaseContinue | Control.Search.Language |
| baseDecompData | Control.CP.FD.Decompose |
| baseGraph | Control.CP.FD.Graph |
| baseTstate | Control.Search.GeneratorInfo |
| baseTypeData | Control.CP.FD.Graph |
| BAVarElem | Control.Search.Language |
| BAVarSize | Control.Search.Language |
| bb | Control.CP.FD.Solvers |
| bbmin | Control.Search.Combinator.Misc |
| BFold | Control.Search.Language |
| bfoldVarSel | Control.Search.Combinator.Base |
| bfs | Control.CP.FD.Solvers |
| BIFold | Control.Search.Language |
| bifoldVarSel | Control.Search.Combinator.Base |
| bindTree | Control.CP.SearchTree |
| Block | Control.Search.Language |
| bodyE | Control.Search.Generator |
| bodyH | Control.Search.Generator |
| Bool | Control.Search.Language |
| BoolAll | Data.Expr.Data |
| BoolAnd | Data.Expr.Data |
| BoolAny | Data.Expr.Data |
| boolArraysE | Control.Search.Generator |
| boolCollapse | Data.Expr.Util |
| BoolCond | Data.Expr.Data |
| BoolConst | Data.Expr.Data |
| boolData | Control.CP.FD.Graph |
| BoolEqual | Data.Expr.Data |
| BoolExpr | Data.Expr.Data, Data.Expr.Util, Data.Expr.Sugar, Control.CP.FD.FD |
| BoolNot | Data.Expr.Data |
| BoolOr | Data.Expr.Data |
| boolProperty | Data.Expr.Util |
| boolPropertyEx | Data.Expr.Util |
| boolSimplify | Data.Expr.Util |
| BoolTerm | Data.Expr.Data |
| boolTransform | Data.Expr.Util |
| boolTransformEx | Data.Expr.Util |
| boolWalk | Data.Expr.Util |
| Bound | |
| 1 (Type/Class) | Control.CP.ComposableTransformers |
| 2 (Data Constructor) | Control.CP.ComposableTransformers |
| boundMinimize | Control.CP.FD.FD |
| BranchBound | Control.CP.FD.SearchSpec.Data |
| buildCombiner | Control.Search.Generator |
| BVal | Control.Search.Language |