sig
type t = Abstract_memory.bit
val uninitialized : Abstract_memory.Bit.t
val zero : Abstract_memory.Bit.t
val numerical : Abstract_memory.Bit.t
val top : Abstract_memory.Bit.t
val is_any : Abstract_memory.Bit.t -> bool
val initialization :
Abstract_memory.Bit.t -> Abstract_memory.initialization
val pretty : Stdlib.Format.formatter -> Abstract_memory.Bit.t -> unit
val hash : Abstract_memory.Bit.t -> int
val equal : Abstract_memory.Bit.t -> Abstract_memory.Bit.t -> bool
val compare : Abstract_memory.Bit.t -> Abstract_memory.Bit.t -> int
val is_included : Abstract_memory.Bit.t -> Abstract_memory.Bit.t -> bool
val join :
Abstract_memory.Bit.t -> Abstract_memory.Bit.t -> Abstract_memory.Bit.t
end