Type Definition typenum::P245

type P245 = PInt<U245>;