[][src]Module mamba::check

Modules

context
result

Functions

check_all

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

Type Definitions

CheckInput