Searched refs:REWRITE_AT_SUBTERM (Results 1 – 2 of 2) sorted by relevance
204 #define REWRITE_AT_SUBTERM 0 macro
623 TermAddRWLink(*term, new_term, REWRITE_AT_SUBTERM, false, in term_subterm_rewrite()