[][src]Type Definition typenum::P533

type P533 = PInt<U533>;