Type Definition typenum::P345

type P345 = PInt<U345>;