TApp | Glam.Type |
tConstant | Glam.Type |
TEnvironment | Glam.Rules.Type |
Term | Glam.Term |
term | Glam.Term |
termBindings | Glam.Run |
termCtx | Glam.Rules.Term |
TFix | Glam.Type |
Times | Glam.Term |
TInt | Glam.Type |
TSubst | Glam.Type |
TVar | |
1 (Data Constructor) | Glam.Type |
2 (Type/Class) | Glam.Type |
tVar | Glam.Type |
TVarBinding | Glam.Rules.Type |
tvars | Glam.Rules.Term |
Type | Glam.Type |
typeBindings | Glam.Run |
typeCtx | Glam.Rules.Term |
TypeDef | Glam.Run |
Types | Glam.Rules.Term |
type_ | Glam.Type |