[][src]Type Definition typenum::P822

type P822 = PInt<U822>;