Property definitions

gmp $ NativeMPZ :: probab_prime_p
    fun probab_prime_p(reps: Int32): Int `{
        return mpz_probab_prime_p(self, reps);
    `}
lib/gmp/native_gmp.nit:89,5--91,6