Module typifier

Module typifier 

Source

Structs§

ResolveContext

Enums§

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

Functions§

compare_types
Compare two types.