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

type P517 = PInt<U517>;