Type Definition typenum::N873

source ·
pub type N873 = NInt<U873>;