[][src]Type Definition typenum::P733

type P733 = PInt<U733>;