[doc] `union` and `merge` returns the representative element
In UnionFindBasic
and UnionFindOverStore
, union
and merge
are documented to return either x
or y
, whereas they return the representative element of the unified class (which is limited to be x
or y
only if x
and y
were already representative elements). Perhaps should the documented behavior be understood modulo the union-find equalities?