Type Definition typenum::N823

source · 
pub type N823 = NInt<U823>;