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