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

pub type P517 = PInt<U517>;