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'