Searched refs:yices_pair (Results 1 – 2 of 2) sorted by relevance
819 __YICES_DLLSPEC__ extern term_t yices_pair(term_t arg1, term_t arg2);
3314 EXPORTED term_t yices_pair(term_t arg1, term_t arg2) { in yices_pair() function