[][src]Type Definition typenum::P872

type P872 = PInt<U872>;