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

type P517 = PInt<U517>;