Module ergotree_ir::type_check [−][src]
Type checking
Structs
TypeCheckError | Typecheck error |
Functions
type_check | Type checks the given expression |
Type checking
TypeCheckError | Typecheck error |
type_check | Type checks the given expression |