Parameter merge: t -> elt -> elt -> t.

(* Specifications: *)
Axiom repr_merge:
forall uf a b x, repr (merge uf a b) x = repr (union uf a b) x.
Axiom sameclass_merge:
forall uf a b x y, sameclass (merge uf a b) x y <-> sameclass (union uf a b) x y.
Axiom repr_merge:
forall uf a b x, repr (merge uf a b) x = repr (union uf a b) x.
Axiom sameclass_merge:
forall uf a b x y, sameclass (merge uf a b) x y <-> sameclass (union uf a b) x y.