Bits.Vector
module type Basic = sig ... end
module type S = sig ... end
module UInt64 : S with type t = Unsigned.UInt64.t
module UInt32 : S with type t = Unsigned.UInt32.t
module Make (V : S) : Bits_intf.Convertible_bits with type t = V.t