Module mamba::check

source ·

Modules

Functions

Checks whether a given AST is well typed according to the specification of the language.