Functor Reins.SplayMap.MonoKeyMap

module MonoKeyMap: 
functor (C : Reins.Types.Mono.Comparable) -> Reins.Maps.MonoKeyMapSig  with type key = C.t
		       and type ('a,'v) result = 'a * 'v MonoKeyMap(C).t

type 'a t 

type key 

type 'a elt = 'a 

type 'a cursor 

type ('a, 'b) result 

include Reins.Maps.Map_

val compare_keys : 'a t -> 'a t -> int

val compare : ('a -> 'a -> int) ->
       'a t -> 'a t -> int

val to_string : ('a -> string) -> 'a t -> string

val gen2 : (?size:int -> Random.State.t -> key) ->
       (?size:int -> Random.State.t -> 'a) ->
       ?size:int -> Random.State.t -> 'a t