Method: Z3::ArithExpr#<

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

#<(other) ⇒ Object 



35
36
37
 
# File 'lib/z3/expr/arith_expr.rb', line 35

def <(other)
  Expr.Lt(self, other)
end