Type Definition typenum::consts::P12

type P12 = PInt<U12>;