Type Definition typenum::P3

type P3 = PInt<U3>;