let rec merge_expinv tas = function | (t,Pos)::fin -> merge_expinv ((t,Neg)::tas) fin | (t,Neg)::fin -> merge_expinv ((t,Pos)::tas) fin | [] -> tas