Type Definition typenum::consts::P712

source · []
pub type P712 = PInt<U712>;