Module type Abstract_interp.Value_With_Id


module type Value_With_Id = sig .. end

include Abstract_interp.Value
val id : t -> int
val name : string