69 |
|
|
70 |
(* overloaded operators *) |
(* overloaded operators *) |
71 |
val overloads = [ |
val overloads = [ |
72 |
(N.op_add, [BV.add_ii, BV.add_tt]), |
(N.op_add, [BV.add_ii, BV.add_tt, BV.add_ff]), |
73 |
(N.op_sub, [BV.sub_ii, BV.sub_tt]), |
(N.op_sub, [BV.sub_ii, BV.sub_tt, BV.sub_ff]), |
74 |
(N.op_mul, [BV.mul_ii, BV.mul_rr, BV.mul_rt, BV.mul_tr]), |
(N.op_mul, [BV.mul_ii, BV.mul_rr, BV.mul_rt, BV.mul_tr, BV.mul_rf, BV.mul_fr]), |
75 |
(N.op_div, [BV.div_ii, BV.div_rr, BV.div_tr]), |
(N.op_div, [BV.div_ii, BV.div_rr, BV.div_tr, BV.div_tr]), |
76 |
(N.op_lt, [BV.lt_ii, BV.lt_rr]), |
(N.op_lt, [BV.lt_ii, BV.lt_rr]), |
77 |
(N.op_lte, [BV.lte_ii, BV.lte_rr]), |
(N.op_lte, [BV.lte_ii, BV.lte_rr]), |
78 |
(N.op_equ, [BV.equ_bb, BV.equ_ii, BV.equ_ss, BV.equ_rr]), |
(N.op_equ, [BV.equ_bb, BV.equ_ii, BV.equ_ss, BV.equ_rr]), |