[][src]Type Definition typenum::N793

type N793 = NInt<U793>;