Module type Abstract_interp.Key


module type Key = sig .. end

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