[]Type Definition skellige::prelude::blake2::crypto_mac::generic_array::typenum::consts::U1

type U1 = UInt<UTerm, B1>;