Type Definition typenum::N517

source · 
pub type N517 = NInt<U517>;