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