[][src]Type Definition typenum::P752

type P752 = PInt<U752>;