Module type Map_Lattice.Key

module type Key = sig .. end

include Datatype.S
val is_null : t -> bool
val null : t
val id : t -> int