Type Definition typenum::P13

source · 
pub type P13 = PInt<U13>;