[][src]Type Definition typenum::P1000

type P1000 = PInt<U1000>;