Type Definition typenum::P239

type P239 = PInt<U239>;