Property definitions

gmp $ NativeMPZ :: tdiv_q
    fun tdiv_q(res, op: NativeMPZ) `{
        mpz_tdiv_q(res, self, op);
    `}
lib/gmp/native_gmp.nit:67,5--69,6