Type Definition typenum::consts::N712

source · 
pub type N712 = NInt<U712>;