Type Definition typenum::P235

type P235 = PInt<U235>;