Method: Z3::SetSort#inspect

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

#inspect ⇒ Object 



17
18
19
 
# File 'lib/z3/sort/set_sort.rb', line 17

def inspect
  "SetSort(#{element_sort})"
end