Functor Reins.SplayMap.MonoMap


module MonoMap: 
functor (K : Reins.Types.Mono.Comparable) ->
functor (V : Reins.Types.Mono.Comparable) -> Reins.Maps.MonoMapSig with type key = K.t and type elt = V.t and type 'a result = 'a * MonoMap(K)(V).t
Parameters:
K : Reins.Types.Mono.Comparable
V : Reins.Types.Mono.Comparable

type t 
type key 
type elt 
type cursor 
type 'a result 
include Reins.Maps.Map_
val compare_keys : t -> t -> int
val compare : t -> t -> int
val to_string : t -> string
val gen2 : (?size:int -> Random.State.t -> key) ->
(?size:int -> Random.State.t -> elt) ->
?size:int -> Random.State.t -> t