Type Definition typenum::P13

source · []
pub type P13 = PInt<U13>;