Type Definition typenum::P523

source · []
pub type P523 = PInt<U523>;