Type Definition typenum::P513

source · []
pub type P513 = PInt<U513>;