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

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