Type Definition typenum::consts::N777[][src]

type N777 = NInt<U777>;