Type Definition typenum::N523

source ·
pub type N523 = NInt<U523>;