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
Parameters: |
|
type 'e
t
type
key
type'e
elt ='e
type 'e
cursor
type ('a, 'v)
result
include Reins.Maps.Map_
val compare_keys : 'e t -> 'e t -> int
val compare : ('e -> 'e -> int) ->
'e t -> 'e t -> int
val to_string : ('e -> string) -> 'e t -> string
val gen2 : (?size:int -> Random.State.t -> key) ->
(?size:int -> Random.State.t -> 'a) ->
?size:int -> Random.State.t -> 'a t