Type Definition typenum::N517

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