Functor Reins.SplaySet.MonoSet


module MonoSet: 
functor (C : Reins.Types.Mono.Comparable) -> Reins.Sets.MonoSetSig with type elt = C.t and type 'a result = 'a * MonoSet(C).t
This functor provides an implementation of Splay trees that are parameterized by a specific monomorphic element type. The resulting module may be more efficient than its polymorphic counterpart, Reins.SplaySet.PolySet.
Parameters:
C : Reins.Types.Mono.Comparable

type t 
type elt 
type cursor 
type 'a result 
include Reins.Sets.Set_
val to_string : 'a set -> string