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.MonoSetSig
with 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