Type Definition typenum::consts::P13[][src]

pub type P13 = PInt<U13>;