module TypeChecker(T)

Defined in:

typechecker.cr

Class Method Summary

• .assert(operand : Types::ValidType)

  Asserts that operand is the provided type

• .assert_operands(left : Types::ValidType, right : Types::ValidType)

  Asserts that both left and right are the same provided type

Class Method Detail