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

type P717 = PInt<U717>;