Type Definition typenum::P123[][src]

type P123 = PInt<U123>;