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