Searched refs:eval_uninterpreted (Results 1 – 1 of 1) sorted by relevance
1155 static value_t eval_uninterpreted(evaluator_t *eval, term_t t) { in eval_uninterpreted() function1231 v = eval_uninterpreted(eval, t); in eval_term()