Type Definition typenum::P517

source · []
pub type P517 = PInt<U517>;