Type Definition typenum::N777

source · []
pub type N777 = NInt<U777>;