Method: Z3::ArraySort#key_sort

Defined in:
lib/z3/sort/array_sort.rb

#key_sort ⇒ Object (readonly)

Returns the value of attribute key_sort.



3
4
5
 
# File 'lib/z3/sort/array_sort.rb', line 3

def key_sort
  @key_sort
end