Type Definition typenum::P238

type P238 = PInt<U238>;