Type Definition typenum::P713

source · []
pub type P713 = PInt<U713>;