Searched defs:term (Results 1 – 3 of 3) sorted by relevance
452 terminal term; in check_unused() local
244 terminal term; in symbols() local
3511 translate_term_nboyer = function(term) { argument3520 untranslate_term_nboyer = function(term) { argument3555 apply_subst_nboyer = function(alist, term) { argument3604 rewrite_nboyer = function(term) { argument