Index - T
| TermEnv | Inferno.Eval |
| toList | Inferno.Infer.Env |
| topLevel | Inferno.Parse |
| TopLevelDefn | Inferno.Parse |
| toType | Inferno.Module.Cast |
| ToValue | Inferno.Module.Cast, Inferno.Module |
| toValue | Inferno.Module.Cast, Inferno.Module |
| ty | Inferno.Infer.Env |
| TypeClassInstance | Inferno.Parse |
| TypeClassNoPartialMatch | Inferno.Infer |
| TypeClassNotFoundError | Inferno.Infer |
| TypeEnv | Inferno.Infer.Env |
| TypeError | Inferno.Infer |
| TypeMetadata | |
| 1 (Data Constructor) | Inferno.Infer.Env |
| 2 (Type/Class) | Inferno.Infer.Env |
| TypeNamespace | Inferno.Infer.Env |
| types | Inferno.Infer.Env |