sig
  type key = UnionFind.Item.t
  type 'a t
  val empty : 'a UnionFind.Item.Map.t
  val find : UnionFind.Item.Map.key -> 'a UnionFind.Item.Map.t -> 'a
  val add :
    UnionFind.Item.Map.key ->
    'a -> 'a UnionFind.Item.Map.t -> 'a UnionFind.Item.Map.t
  val fold :
    (UnionFind.Item.Map.key -> 'a -> 'b -> 'b) ->
    'a UnionFind.Item.Map.t -> 'b -> 'b
end