Type System

A model is broken up into clafers and constraints. The type of clafers are explicitly annotated. It’s the constraints that the type checker needs to worry about. The type system needs to infer and type check the constraints to enforce the type rules.

The algorithm infers and checks the types in constraints in one bottom-up pass. During the pass, it will often need to find the type of a clafer reference. It will calculate the types of clafers as needed and cache them in a “symbol table”.

The type rules