Type Definition StorageLen
bitarray
type StorageLen<NBits, B> = Quot<Sub1<Sum<NBits, BitsInOut<B>>>, BitsInOut<B>>;