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