| t | Framework.Lambda.Convenience, Framework.Lambda |
| tau0 | Framework.Lambda.Signature, Framework.Lambda |
| tauAdj | Analysis.Adjectives.Signature |
| tauArithmetic | Framework.Lambda.Signature, Framework.Lambda |
| tauFact | Analysis.Factivity.Signature |
| tauIndicesInit | Framework.Lambda.Signature, Framework.Lambda |
| TauKnow | Framework.Lambda.Convenience, Framework.Lambda |
| tauLogical | Framework.Lambda.Signature, Framework.Lambda |
| tauProbProg | Framework.Lambda.Signature, Framework.Lambda |
| tauReals | Framework.Lambda.Signature, Framework.Lambda |
| tauStates | Theory.Signature |
| tauStatesInit | Framework.Lambda.Signature, Framework.Lambda |
| Term | Framework.Lambda.Terms, Framework.Lambda |
| termOf | Framework.Lambda.Types, Framework.Lambda |
| toStan | Framework.Target.Stan, Framework.Target |
| Tr | Framework.Lambda.Convenience, Framework.Lambda |
| Truncate | Framework.Lambda.Convenience, Framework.Lambda |
| TT | Framework.Lambda.Terms, Framework.Lambda |
| ty | Framework.Lambda.Types, Framework.Lambda |
| TyCon | Framework.Lambda.Types, Framework.Lambda |
| tyEq | Framework.Lambda.Types, Framework.Lambda |
| tyEq' | Framework.Lambda.Types, Framework.Lambda |
| Type | Framework.Lambda.Types, Framework.Lambda |
| Typed | |
| 1 (Type/Class) | Framework.Lambda.Types, Framework.Lambda |
| 2 (Data Constructor) | Framework.Lambda.Types, Framework.Lambda |
| TypeError | Framework.Target.Stan, Framework.Target |
| typeOf | Framework.Lambda.Types, Framework.Lambda |
| TyVar | Framework.Lambda.Types, Framework.Lambda |