Type Definition typenum::P417[][src]

type P417 = PInt<U417>;