Module ergotree_ir::type_check[][src]

Type checking

Structs

TypeCheckError

Typecheck error

Functions

type_check

Type checks the given expression