Module type Hptset.Id_Datatype


module type Id_Datatype = sig .. end
Input signature of the functor Set.Make.

include Datatype.S
val id : t -> int