Module expr 

This module is responsible for inner code elements, such as expressions and statements.

Modules

compute

This module is responsible of computing the semantic model of expressions and statements in the code, while type checking. It is invoked by queries for function bodies and other code blocks.

fmt

inference

Bidirectional type inference.

objects

pattern