Type Definition typenum::P777

source · []
pub type P777 = PInt<U777>;