Type Definition typenum::P213

type P213 = PInt<U213>;