Type Definition typenum::P6

type P6 = PInt<U6>;