Type Definition typenum::P567

type P567 = PInt<U567>;