Type Definition typenum::P123[−][src]

type P123 = PInt<U123>;