Type Definition typenum::P707

source · []
pub type P707 = PInt<U707>;