Index - T
| textBlock | Stlc.Block |
| Times | Stlc.Types |
| toBruijn | NamedLambda |
| Top | |
| 1 (Type/Class) | Stlc.Types |
| 2 (Data Constructor) | Stlc.Types |
| Tvar | Stlc.Types |
| Type | Stlc.Types |
| TypedAbort | NamedLambda |
| TypedAbsurd | NamedLambda |
| TypedCase | NamedLambda |
| TypedInl | NamedLambda |
| TypedInr | NamedLambda |
| TypedPair | NamedLambda |
| TypedPi1 | NamedLambda |
| TypedPi2 | NamedLambda |
| TypedUnit | NamedLambda |
| typeinfer | Stlc.Types |
| typeinference | Stlc.Types |