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

type P517 = PInt<U517>;