[][src]Type Definition typenum::P583

type P583 = PInt<U583>;