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