Type Definition typenum::N772

source ·
pub type N772 = NInt<U772>;