let expr_int_operator mem ir binop i1 e1 i2 e2 = let t1 = expr_int mem i1 ir e1 in let t2 = expr_int mem i2 ir e2 in int_operator ir binop t1 t2