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