[][src]Type Definition typenum::P512

type P512 = PInt<U512>;