[][src]Type Definition typenum::P880

type P880 = PInt<U880>;