Module type UnionFind.Element

type t
val compare : t -> t -> int
val is_simpler_than : t -> t -> bool

will be used to choose a "simpler" representative for a given equivalence class when possible