Type Definition typenum::P13[][src]

pub type P13 = PInt<U13>;