Module type Abstract_interp.Value


module type Value = sig .. end

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