Type Definition typenum::P2

type P2 = PInt<U2>;