[][src]Type Definition typenum::N777

type N777 = NInt<U777>;