Type Definition typenum::consts::N517

source · []
pub type N517 = NInt<U517>;