12.4.10 Exchanging GMP numbers
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Foreign Language Interface
        • The Foreign Include File
          • Exchanging GMP numbers
            • PL_get_mpz()
            • PL_get_mpq()
            • PL_unify_mpz()
            • PL_unify_mpq()
    • Packages
Availability:C-language interface function
int PL_unify_mpz(term_t t, mpz_t mpz)
Unify t with the integer value represented by mpz and return TRUE on success. The mpz argument is not changed.