Type Definition typenum::P253

type P253 = PInt<U253>;