Module type Abstract_interp.Key


module type Key = sig .. end

type t 
val compare : t -> t -> int
val pretty : Format.formatter -> t -> unit
val is_null : t -> bool
val null : t
val hash : t -> int
val id : t -> int
val name : string
module Datatype: Project.Datatype.S  with type t = t