Type Definition typenum::P12

type P12 = PInt<U12>;