Type Definition typenum::P145

type P145 = PInt<U145>;