module type Id_Datatype = sig .. end
sig
end
Type of the keys of the map.
include Datatype.S
val id : t -> int
t -> int
Identity of a key. Must verify id k >= 0 and equal k1 k2 ==> id k1 = id k2
id k >= 0
equal k1 k2 ==> id k1 = id k2