Type Definition typenum::P9

type P9 = PInt<U9>;