sig
  type t
  val name : string
  val hash : Abstract_memory.Value.t -> int
  val equal : Abstract_memory.Value.t -> Abstract_memory.Value.t -> bool
  val compare : Abstract_memory.Value.t -> Abstract_memory.Value.t -> int
  val pretty : Stdlib.Format.formatter -> Abstract_memory.Value.t -> unit
  val of_bit : Abstract_memory.bit -> Abstract_memory.Value.t
  val to_bit : Abstract_memory.Value.t -> Abstract_memory.bit
  val is_included :
    Abstract_memory.Value.t -> Abstract_memory.Value.t -> bool
  val join :
    Abstract_memory.Value.t ->
    Abstract_memory.Value.t -> Abstract_memory.Value.t
end