Type Definition typenum::N712

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