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