module GenSet:This functor is similar to thefunctor (C:Reins.Types.Mono.ArbitraryComparable) ->Reins.Sets.GenSetSigwith type elt = C.t and type 'a result = 'a * GenSet(C).t
Reins.SplaySet.MonoSet functor except
it is parameterized by a module that also supports the gen
operation. Therefore, the resulting module is also able to
generate number sets.| Parameters: |
|
include Reins.Sets.MonoSetSig
val gen : ?size:int -> Random.State.t -> t