Type Definition typenum::P871[][src]

type P871 = PInt<U871>;