Type Definition typenum::P725

source · 
pub type P725 = PInt<U725>;