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