Type Definition typenum::N872

source ·
pub type N872 = NInt<U872>;