Method: Z3::Expr#inspect

Defined in:
lib/z3/expr/expr.rb

#inspect ⇒ Object 



11
12
13
 
# File 'lib/z3/expr/expr.rb', line 11

def inspect
  "#{sort.to_s}<#{to_s}>"
end