Type Definition typenum::consts::P13

source · 
pub type P13 = PInt<U13>;