type 'a t = 'a rr
The type of a key
val compare : 'a t -> 'b t -> ('a, 'b) Gmap.Order.t
compare k k'
is the total order of keys.
Rr_map.K
type 'a t = 'a rr
The type of a key
val compare : 'a t -> 'b t -> ('a, 'b) Gmap.Order.t
compare k k'
is the total order of keys.