Type Definition U2
structural::type_level::integer
type U2 = Unsigned<(Bit0, Bit0, Bit0, Bit0, Bit1, Bit0)>;
A type-level 2 (unsigned)