sig
  type t
  val equal : UnionFind.Item.t -> UnionFind.Item.t -> bool
  module Map :
    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
end