Type Definition typenum::P717[][src]

pub type P717 = PInt<U717>;