Type Definition typenum::consts::P253

type P253 = PInt<U253>;