class Z3::IntSort

# File lib/z3/sort/int_sort.rb, line 3
def initialize
  super LowLevel.mk_int_sort
end

# File lib/z3/sort/int_sort.rb, line 7
def expr_class
  IntExpr
end

# File lib/z3/sort/int_sort.rb, line 11
def from_const(val)
  if val.is_a?(Integer)
    new(LowLevel.mk_numeral(val.to_s, self))
  else
    raise cant_convert(val)
  end
end