Property definitions

gmp $ NativeMPZ :: set_str
    fun set_str(str: CString, base: Int32) `{
        mpz_set_str(self, str, base);
    `}
lib/gmp/native_gmp.nit:125,5--127,6