Searched defs:mk_ult (Results 1 – 6 of 6) sorted by relevance
221 br_status bv_rewriter::mk_ult(expr * a, expr * b, expr_ref & result) { in mk_ult() function in bv_rewriter
1677 val mk_ult : context -> Expr.expr -> Expr.expr -> Expr.expr val
1208 let mk_ult = Z3native.mk_bvult var