Module Reins.AVLMap.PolyMap


module PolyMap: Reins.Maps.PolyMapSigStd 

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