Type Definition typenum::P378

type P378 = PInt<U378>;