Searched refs:yices_update1 (Results 1 – 2 of 2) sorted by relevance
901 __YICES_DLLSPEC__ extern term_t yices_update1(term_t fun, term_t arg1, term_t new_v);
3361 EXPORTED term_t yices_update1(term_t fun, term_t arg1, term_t new_v) { in yices_update1() function