Type Definition typenum::P717

source ·
pub type P717 = PInt<U717>;