Type Definition typenum::P725[−][src]

pub type P725 = PInt<U725>;