mpz_setbit 2880 maint/gnulib/lib/mini-gmp.c mpz_setbit (s1, vz); mpz_setbit 2887 maint/gnulib/lib/mini-gmp.c mpz_setbit (t0, uz + shift); mpz_setbit 2926 maint/gnulib/lib/mini-gmp.c mpz_setbit (t0, uz); mpz_setbit 3223 maint/gnulib/lib/mini-gmp.c mpz_setbit (t, bc); mpz_setbit 231 maint/gnulib/lib/mini-gmp.h void mpz_setbit (mpz_t, mp_bitcnt_t);