Searched refs:mpz_get_ui (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dlgmp.c43 unsigned long int mpz_get_ui(x) MP_INT *x; {return 0;} function

Completed in 41 milliseconds