module

TypeChecker(T)

Class methods

assert(operand : Types::ValidType)

Asserts that operand is the provided type

Source
assert_operands(left : Types::ValidType, right : Types::ValidType)

Asserts that both left and right are the same provided type

Source