module Bit: sig .. end
sig
end
type t = Abstract_memory.bit
Abstract_memory.bit
val uninitialized : t
t
val zero : t
val numerical : t
val top : t