binom.h

// C file generated from binom.pvs
struct struct_Pair741 {
  mpz_t f2;
  mpz_t f1;
};
typedef struct struct_Pair741* Pair741;


void pvs_f705(mpz_t result, mpz_t a);

void pvs_f_d706(mpz_t result, mpz_t a);

void pvs_factorial707(mpz_t result, mpz_t n);

void pvs_factorial_d708(mpz_t result, mpz_t n);

void pvs_binom715(mpz_t result, mpz_t k, mpz_t n);

void pvs_binom_d716(mpz_t result, mpz_t k, mpz_t n);

mpz_t* pvs_f731(int k);

mpz_t* pvs_f_d732(int k);

int pvs_lex_order739(Pair741 a, Pair741 b);

int pvs_lex_order_d740(Pair741 a, Pair741 b);

mpz_t** pvs_fill_line754(mpz_t K, mpz_t k, mpz_t n);

mpz_t** pvs_fill_line_d755(mpz_t K, mpz_t k, mpz_t n);

void pvs_binom_D784(mpz_t result, mpz_t x, mpz_t y);

void pvs_binom_D_d785(mpz_t result, mpz_t x, mpz_t y);