Type Definition typenum::N777

source · 
pub type N777 = NInt<U777>;