[][src]Type Definition typenum::consts::P512

type P512 = PInt<U512>;