Type Definition typenum::P1000[][src]

type P1000 = PInt<U1000>;