Module kailua_check::env

The type checker environment.

Structs

Context	The global context, which also contains the type context.
Env	A per-file environment which depends to Context.
Frame	A function frame.
IdDisplay	Displays a globally unique name reference in the human-readable form.
Module	The resolved information about the module loaded by require or similar.
NameDef	A name definition.
Output	A report-free version of Context. Suitable for analysis.
Scope	A scope.
TypeDef	A named type definition.

Enums

Id	A globally unique name reference.
NameSlot	A slot type with the initialization status.
Returns	A return type, that may have been inferred.
SlotSpec	A slot type "specification".