| Term | |
| 1 (Type/Class) | Control.CP.Solver |
| 2 (Data Constructor) | Data.Expr.Data |
| TermBaseType | Control.CP.EnumTerm |
| termToLinear | Data.Linear |
| THook | Control.Search.Language |
| timeStat | Control.Search.Stat |
| ToBoolExpr | Data.Expr.Sugar, Control.CP.FD.FD |
| toBoolExpr | Data.Expr.Sugar, Control.CP.FD.FD |
| ToColExpr | Data.Expr.Sugar, Control.CP.FD.FD |
| toColExpr | Data.Expr.Sugar, Control.CP.FD.FD |
| ToDomain | Control.CP.FD.OvertonFD.Domain |
| toDomain | Control.CP.FD.OvertonFD.Domain |
| ToExpr | Data.Expr.Sugar, Control.CP.FD.FD |
| toExpr | Data.Expr.Sugar, Control.CP.FD.FD |
| ToModelBool | Control.CP.FD.Model |
| ToModelCol | Control.CP.FD.Model |
| ToModelInt | Control.CP.FD.Model |
| toString | Control.Search.Generator |
| transform | Data.Expr.Util |
| Transformer | Control.CP.Transformers |
| transformEx | Data.Expr.Util |
| transformTree | Control.CP.SearchTree |
| Tree | Control.CP.SearchTree |
| TreeSolver | Control.CP.SearchTree |
| TreeState | |
| 1 (Type/Class) | Control.CP.Transformers |
| 2 (Type/Class) | Control.Search.GeneratorInfo |
| treeStateType | Control.Search.GeneratorInfo |
| treeState_ | Control.Search.Generator |
| true | |
| 1 (Function) | Control.CP.SearchTree, Control.CP.FD.Interface, Control.CP.FD.Example |
| 2 (Function) | Control.Search.Language |
| TrueC | Control.Search.Language |
| Try | Control.CP.SearchTree |
| tryE | Control.Search.Generator |
| tryE_ | Control.Search.Generator |
| tryH | Control.Search.Generator |
| tryLH | Control.Search.Generator |
| TryOnce | Control.CP.FD.SearchSpec.Data |
| tstate | Control.Search.GeneratorInfo |
| tstate_type | Control.Search.GeneratorInfo |
| Tup2 | |
| 1 (Type/Class) | Control.Search.SStateT |
| 2 (Data Constructor) | Control.Search.SStateT |
| Type | Control.Search.Language |