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

pub type P725 = PInt<U725>;