Searched refs:COMPOSITE_LAMBDA (Results 1 – 6 of 6) sorted by relevance
184 COMPOSITE_LAMBDA, enumerator272 return mk_composite_tag(COMPOSITE_LAMBDA, 1); in mk_lambda_tag()321 assert(composite_kind(c) == COMPOSITE_LAMBDA); in lambda_composite_tag()
210 if ((int) k < 0 || k > COMPOSITE_LAMBDA) { in print_kind()211 k = COMPOSITE_LAMBDA + 1; in print_kind()233 case COMPOSITE_LAMBDA: in print_composite()234 print_kind(f, COMPOSITE_LAMBDA); in print_composite()257 if (tag_kind(s->tag) == COMPOSITE_LAMBDA) { in print_signature()
532 case COMPOSITE_LAMBDA: in hash_composite()917 assert(composite_kind(c) == COMPOSITE_LAMBDA && composite_arity(c) == 1); in signature_lambda()952 case COMPOSITE_LAMBDA: in signature_composite()1035 case COMPOSITE_LAMBDA: in signature_matches()
239 return composite_body(cmp) && composite_kind(cmp) == COMPOSITE_LAMBDA; in egraph_term_is_lambda()
2190 case COMPOSITE_LAMBDA: in composite_simplifies()
818 assert(composite_body(d) && composite_kind(d) == COMPOSITE_LAMBDA); in find_lambda_term()