Type Definition typenum::consts::P13

type P13 = PInt<U13>;