Units.Unit
To avoid confusion between sizes in bits and bytes, we use separate types.
type t = private int
val compare : t -> t -> int
val of_int : int -> t
val to_int : t -> int
val (+) : t -> t -> t
val (-) : t -> t -> t
val (<=) : t -> t -> bool
val (<) : t -> t -> bool
val (>=) : t -> t -> bool
val (>) : t -> t -> bool
val zero : t
val one : t