Units
module type Unit = sig ... end
To avoid confusion between sizes in bits and bytes, we use separate types.
module In_bits : sig ... end
Sizes and offsets in bits.
module In_bytes : sig ... end
Sizes and offsets in bytes.