Module typifier

Source

Structs§

ResolveContext

Enums§

ResolveError
TypeResolution
The result of computing an expression’s type.

Functions§

compare_types
Compare two types.