Type Definition typenum::P7

type P7 = PInt<U7>;