Type Definition typenum::P717

source · []
pub type P717 = PInt<U717>;