Source position: libgmp.pp line 397
var mpz_tdiv_r_2exp: procedure(
para1: Tmpz_ptr;
para2: Tmpz_srcptr;
para3: Tmp_bitcnt_t
);