Type Definition typenum::P251

type P251 = PInt<U251>;