[][src]Type Definition typenum::P535

type P535 = PInt<U535>;