class IntVariable

# File lib/static_type/int_variable.rb, line 32
def %(n)
  @value % n
end

# File lib/static_type/int_variable.rb, line 24
def *(n)
  @value * n
end

# File lib/static_type/int_variable.rb, line 16
def +(n)
  @value + n
end

# File lib/static_type/int_variable.rb, line 20
def -(n)
  @value - n
end

# File lib/static_type/int_variable.rb, line 28
def /(n)
  @value / n
end

# File lib/static_type/int_variable.rb, line 2
def do
  ret = yield

  if ret.class <= Integer
    @value = ret
  else
    raise
  end
end

# File lib/static_type/int_variable.rb, line 12
def to_i
  @value
end