[][src]Type Definition typenum::N767

type N767 = NInt<U767>;