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