Type Definition typenum::P872[][src]

type P872 = PInt<U872>;