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

pub type P717 = PInt<U717>;