Type Definition typenum::N712

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