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
end