class Z3::ArraySort

# File lib/z3/sort/array_sort.rb, line 4
def initialize(key_sort, value_sort)
  @key_sort = key_sort
  @value_sort = value_sort
  super LowLevel.mk_array_sort(key_sort, value_sort)
end

# File lib/z3/sort/array_sort.rb, line 10
def expr_class
  ArrayExpr
end

# File lib/z3/sort/array_sort.rb, line 18
def inspect
  "ArraySort(#{key_sort}, #{value_sort})"
end

# File lib/z3/sort/array_sort.rb, line 14
def to_s
  "Array(#{key_sort}, #{value_sort})"
end