sig
  type descriptor
  val default : UnionFind.Desc.descriptor
  type accumulator
  val union :
    UnionFind.Desc.descriptor ->
    UnionFind.Desc.descriptor ->
    UnionFind.Desc.accumulator ->
    UnionFind.Desc.descriptor * UnionFind.Desc.accumulator
end