zkay.type_check

This package contains modules which provide functionality related to type-checking zkay code.

Submodules

• type_checker: Zkay type checker implementation

• type_exceptions: Exceptions raised by the type checker

• contains_private: Visitor to check whether a subtree contains any private expressions

• final_checker: Visitor to check whether the AST obeys the rules for final variables.