| T | Constrained.NumSpec |
| Term | Constrained.Base, Constrained.API |
| TestableCtx | |
| 1 (Type/Class) | Constrained.Properties |
| 2 (Data Constructor) | Constrained.Properties |
| TestableFn | |
| 1 (Type/Class) | Constrained.Properties |
| 2 (Data Constructor) | Constrained.Properties |
| testFoldSpec | Constrained.Examples.Fold |
| testRewriteSpec | Constrained.Examples.Basic, Constrained.Examples |
| theAddA | Constrained.SumList |
| theAddFn | Constrained.TheKnot, Constrained.API |
| TheSop | Constrained.Generic, Constrained.API |
| theZero | Constrained.TheKnot, Constrained.API |
| thing | Constrained.Base |
| Three | |
| 1 (Type/Class) | Constrained.Examples.Basic, Constrained.Examples |
| 2 (Data Constructor) | Constrained.Examples.Basic, Constrained.Examples |
| three | Constrained.Examples.Basic, Constrained.Examples |
| three' | Constrained.Examples.Basic, Constrained.Examples |
| threeSpecific | Constrained.Examples.Basic, Constrained.Examples |
| threeSpecific' | Constrained.Examples.Basic, Constrained.Examples |
| tightFit0 | Constrained.Examples.CheatSheet |
| tightFit1 | Constrained.Examples.CheatSheet |
| toCtx | Constrained.Base |
| toCtxList | Constrained.Base |
| ToGeneric | Constrained.Base, Constrained.API |
| ToGenericW | Constrained.Base |
| toGeneric_ | Constrained.Base, Constrained.API |
| toList | Constrained.List |
| toPred | Constrained.Base |
| toPreds | Constrained.Base, Constrained.API |
| toPredsFoldSpec | Constrained.TheKnot |
| toPredsNumSpec | Constrained.TheKnot |
| topsort | Constrained.Graph |
| toSimpleCon' | Constrained.Generic |
| toSimpleRep | Constrained.Generic, Constrained.API |
| toSimpleRep' | Constrained.Generic |
| toSimpleRepSpec | Constrained.Base |
| totalWeight | Constrained.TheKnot |
| toWholeCtx | Constrained.List |
| transitiveClosure | Constrained.Graph |
| transitiveDependencies | Constrained.Graph |
| traverseWeighted | Constrained.Base |
| TreeSpec | |
| 1 (Type/Class) | Constrained.Spec.Tree |
| 2 (Data Constructor) | Constrained.Spec.Tree |
| TreeW | Constrained.Spec.Tree |
| trickyCompositional | Constrained.Examples.Basic, Constrained.Examples |
| TruePred | Constrained.Base, Constrained.API |
| TrueSpec | Constrained.Base, Constrained.API |
| trueSpecUniform | Constrained.Examples.Basic, Constrained.Examples |
| tryGenT | Constrained.GenT |
| Two | Constrained.Examples.Basic, Constrained.Examples |
| TypeList | Constrained.List |
| TypeSpec | |
| 1 (Type/Class) | Constrained.Base, Constrained.API |
| 2 (Data Constructor) | Constrained.Base, Constrained.API |
| typeSpec | Constrained.Base |
| typeSpecHasError | Constrained.Base, Constrained.API |
| typeSpecOpt | Constrained.Base, Constrained.API |