Type Definition typenum::consts::N712

source · []
pub type N712 = NInt<U712>;