Type Definition typenum::P870[][src]

type P870 = PInt<U870>;