Index - T
| T | |
| 1 (Type/Class) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 2 (Data Constructor) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 3 (Data Constructor) | KleenePlugin.Types |
| taggedSumEx | Kleene.Type.Examples |
| taggedSumEx' | Kleene.Type.Examples |
| tcPlugin | KleenePlugin.TcPlugin |
| tellSingleSWT | KleenePlugin.SWT |
| ToArg | Kleene.Type.Examples.KleeneSH |
| toArg | Kleene.Type.Examples.KleeneSH |
| tracePpr | KleenePlugin.Debug |
| tracePprId | KleenePlugin.Debug |
| traverseProofC | KleenePlugin.Types |
| tripleEx | Kleene.Type.Examples |
| tripleExB | Kleene.Type.Examples |
| tripleExC | Kleene.Type.Examples |
| TRUE | Kleene.Type.Examples.KleeneSH |
| true_ | Kleene.Type.Examples.KleeneSH |
| TYPES | Kleene.Type.Examples.KleeneSH |