Module type Map_Lattice.Key

module type Key = sig .. end

include Datatype.S
val id : t -> int