Type Definition typenum::P143

type P143 = PInt<U143>;