module MonoSet: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,functor (C:Reins.Types.Mono.Comparable) ->Reins.Sets.MonoSetSigwith type elt = C.t and type 'a result = 'a * MonoSet(C).t
Reins.SplaySet.PolySet.| Parameters: |
|
type t
type elt
type cursor
type 'a result
include Reins.Sets.Set_
val to_string : 'a set -> string