Type Definition typenum::P794

type P794 = PInt<U794>;