Module Reins.SplaySet.PolySet


module PolySet: Reins.Sets.PolySetSig 
  with type ('a,'b) result = 'a * 'b PolySet.t
This module provides an implementation of Splay trees with a polymorphic element type. The implementation uses the standard library's polymorphic compare function internally and may not be as efficient as the Reins.SplaySet.MonoSet module which allows the use of a more efficient comparison function.

type 'a t 
type 'a cursor 
type ('a, 'b) result 
include Reins.Sets.Set_
val to_string : ('a -> string) -> 'a set -> string