module Abstract_memory:sig
..end
typesize =
Integer.t
type
bit =
| |
Uninitialized |
| |
Zero |
| |
Any of |
module Bit:sig
..end
module type Value =sig
..end
module type Config =sig
..end
module type T =sig
..end
module Make: