[][src]Type Definition typenum::N794

type N794 = NInt<U794>;