Type Definition typenum::P11

type P11 = PInt<U11>;