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.
compare k k'