End MAP.
Unset Implicit Arguments.
Module Type UNIONFIND.
Parameter elt: Type.
Parameter elt_eq: forall (x y: elt), {x=y} + {x<>y}.
Parameter t: Type.
Parameter repr: t -> elt -> elt.

Axiom sameclass_sym:
forall uf a b, sameclass uf a b -> sameclass uf b a.