Type Definition typenum::consts::P713

source · 
pub type P713 = PInt<U713>;