Searched refs:yices_poly_int32 (Results 1 – 2 of 2) sorted by relevance
1285 __YICES_DLLSPEC__ extern term_t yices_poly_int32(uint32_t n, const int32_t a[], const term_t t[]);
3999 EXPORTED term_t yices_poly_int32(uint32_t n, const int32_t a[], const term_t t[]) { in yices_poly_int32() function