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