Type Definition typenum::P712

source · 
pub type P712 = PInt<U712>;