Type Definition typenum::P258

type P258 = PInt<U258>;