Module type_checking::type_system

Structs

ClassAlreadyDeclared
ClassDef
ClassDefId	A ClassDefId refers to a class definition.
ClassDoesNotExist
ClassFieldDef
ClassMethodDef
MethodParamDef
TypeSystem

Enums

BuiltinMethodBody
CheckedType
ClassMethodBody

Type Definitions

Body