315 struct Signature {  struct
320 	Signature apply(const Substitution &match) const;  argument
327 std::vector<std::string> Signature::params() const  in params()
342 Signature Signature::apply(const Substitution &subs) const  in apply()
401 static Substitution shared_param_renamer(const Signature &sig, const Kind &kind)  in shared_param_renamer()
409 static Signature un_params = { { }, { { } } };
410 static Signature un_set = { { Domain }, { { Domain } } };
411 static Signature un_map = { { Domain, Range }, { { Domain, Range } } };
412 static std::vector<Signature> un_op = { un_params, un_set, un_map };
413 static std::vector<Signature> fn_un_op = { un_set, un_map };
419 static Signature bin_params = { { }, { { }, { } } };
420 static Signature bin_set = { { Domain }, { { Domain }, { Domain } } };
421 static Signature bin_map =
423 static std::vector<Signature> bin_op = { bin_params, bin_set, bin_map };
424 static std::vector<Signature> fn_bin_op = { bin_set, bin_map };
425 static Signature bin_set_params = { { Domain }, { { Domain }, { } } };
426 static Signature bin_map_params =
428 static Signature bin_map_domain =
430 static Signature bin_map_range =
432 static Signature bin_map_domain_wrapped_domain =
435 static Signature bin_map_range_wrapped_domain =
442 static Signature bin_params_anon = { { }, { { }, { Anonymous } } };
443 static Signature bin_set_anon = { { Domain }, { { Domain }, { Anonymous } } };
444 static Signature bin_map_anon =
446 static std::vector<Signature> bin_op_anon =
451 static Signature ter_params_int_int =
453 static Signature ter_set_int_int =
455 static Signature ter_map_int_int =
457 static std::vector<Signature> ter_int_int =
463 static Signature ter_set =
465 static Signature ter_map =
468 static std::vector<Signature> fn_ter_op = { ter_set, ter_map };
473 static Signature update_set = { { Domain2 }, { { Leaf }, { Anonymous } } };
474 static Signature update_domain =
476 static Signature update_range =
482 static std::vector<Signature> min_max = { un_set, bin_set, un_map, bin_map };
486 static Signature to_set = { { Domain }, { { }, { Integer } } };
487 static Signature add_range = { { Domain, Range }, { { Domain }, { Integer } } };
490 static Signature to_set_named =
492 static Signature add_range_named =
498 static Signature set_forward = { { Range }, { { Domain }, { Domain, Range } } };
499 static Signature domain_forward =
501 static Signature range_forward =
507 static Signature set_backward =
509 static Signature domain_backward =
511 static Signature range_backward =
513 static Signature domain_wrapped_domain_backward =
520 static Signature bind_set = { { }, { { Domain }, { Domain } } };
521 static Signature bind_domain = { { Range }, { { Domain, Range }, { Domain } } };
522 static Signature bind_range = { { Domain }, { { Domain, Range }, { Range } } };
523 static Signature bind_domain_wrapped_domain =
532 static Signature each_params = { { Res }, { { }, { Res }, { } } };
533 static Signature each_set = { { Res }, { { Domain }, { Res }, { Domain } } };
534 static Signature each_map =
536 static std::vector<Signature> each = { each_params, each_set, each_map };
543 static Signature each_scc_params =
545 static Signature each_scc_set =
549 static Signature each_scc_map =
553 static std::vector<Signature> each_scc =
559 static Signature map_from_range_and_domain =
567 static Signature set_from_params = { { Domain }, { { }, { Domain } } };
568 static Signature map_from_domain_and_range =
570 static std::vector<Signature> from_domain =
576 static Signature anonymous_set_from_params = { { Anonymous }, { { } } };
577 static Signature anonymous_map_from_domain =
579 static std::vector<Signature> anonymous_from_domain =
585 static Signature anonymous_set_from_params_bin_anon =
587 static Signature anonymous_map_from_domain_bin_anon =
589 static std::vector<Signature> anonymous_from_domain_bin_anon = {
597 static Signature set_to_map = { { Domain, Domain }, { { Domain } } };
602 static Signature domain = { { Domain }, { { Domain, Range } } };
603 static Signature range = { { Range }, { { Domain, Range } } };
604 static Signature transformation_domain = { { Domain }, { { Domain, Domain } } };
608 static Signature set_params = { { }, { { Domain } } };
609 static Signature map_params = { { }, { { Domain, Range } } };
613 static std::vector<Signature> fn_domain = { domain, set_params };
617 static Signature set_reverse =
619 static Signature map_reverse = { { Range, Domain }, { { Domain, Range } } };
620 static Signature map_domain_reverse =
622 static Signature map_range_reverse =
627 static Signature set_product =
629 static Signature map_product =
632 static Signature domain_product =
635 static Signature range_product =
641 static Signature domain_factor_domain =
643 static Signature domain_factor_range =
645 static Signature range_factor_domain =
647 static Signature range_factor_range =
652 static Signature curry =
655 static Signature uncurry =
661 static Signature wrap = { { { Domain, Range } }, { { Domain, Range } } };
662 static Signature unwrap = { { Domain, Range }, { { { Domain, Range } } } };
667 static Signature domain_map =
669 static Signature range_map =
675 static Signature map_cmp =
681 static Signature set_join =
687 static Signature anonymize_nested_domain =
689 static Signature anonymize_nested_range =
691 static Signature replace_nested_domain =
694 static Signature replace_nested_range =
696 static std::vector<Signature> flatten_domain =
698 static std::vector<Signature> flatten_range =
703 static Signature set_at_set =
705 static Signature set_at_map =
708 static std::vector<Signature> set_at = { set_at_set, set_at_map };
713 static Signature to_list_set = { { Anonymous }, { { Domain } } };
714 static Signature to_list_map = { { Domain, Anonymous }, { { Domain, Range } } };
718 static Signature ctx_params = { { }, { { Ctx } } };
719 static Signature ctx_set = { { Domain }, { { Ctx } } };
720 static Signature ctx_map = { { Domain, Range }, { { Ctx } } };
739 typedef std::map<std::string, std::vector<Signature>, larger_infix> infix_map;
778 static std::vector<Signature> range_op = { un_set, range };
783 static std::vector<Signature> bin_val = { bin_set, bin_map_range };
788 static const std::unordered_map<std::string, std::vector<Signature>>
928 static Signature from_list_set = { { Domain }, { { Domain }, { Anonymous } } };
929 static Signature from_list_map =
931 static Signature from_list_map_union =
1347 	void print_method_template_arguments(const Signature &sig);
1348 	void print_method_header(const Method &method, const Signature &sig);
1355 	bool print_matching_method(const Method &method, const Signature &sig,
1357 	bool print_matching_method(const Method &method, const Signature &sig);
1359 		const std::vector<Signature> &signatures);
1370 		const Signature &sig, bool deleted) = 0;
1467 	template_cpp_arg_type_printer(const Signature &sig) :  in template_cpp_arg_type_printer()
1472 	const Signature &sig;
1497 	template_method_type_printer(const Signature &sig,  in template_method_type_printer()
1550 	const Signature &sig)  in print_method_template_arguments()
1574 	const Method &method, const Signature &sig)  in print_method_header()
1616 		const Signature &sig, bool deleted) override;
1624 	const Method &method, const Signature &sig, bool deleted)  in print_method_sig()
1659 static Signature instance_sig(const Method &method,  in instance_sig()
1692 		const Signature &sig);
1693 	void print_method_body(const Method &method, const Signature &sig);
1694 	void print_constructor_body(const Method &method, const Signature &sig);
1696 		const Signature &sig, bool deleted) override;
1706 	const Method &method, const Signature &sig)  in print_constructor_body()
1752 	const Signature &sig, int shift)  in print_callback_lambda()
1789 	const Signature &sig)  in print_callback_lambdas()
1815 	const Method &method, const Signature &sig)  in print_callback_method_body()
1849 	const Method &method, const Signature &sig)  in print_method_body()
1879 	const Method &method, const Signature &sig, bool deleted)  in print_method_sig()
1918 static Signature params_from_str = { { }, { { Ctx }, { Str } } };
1919 static Signature set_from_str = { { Domain }, { { Ctx }, { Str } } };
1920 static Signature map_from_str = { { Domain, Range }, { { Ctx }, { Str } } };
1921 static std::vector<Signature> from_str =
1926 static Signature int_from_si = { { Anonymous }, { { Ctx }, { Integer } } };
1931 static Signature alloc_params = { { }, { { Ctx }, { Integer } } };
1932 static Signature alloc_set = { { Domain }, { { Ctx }, { Integer } } };
1933 static Signature alloc_map = { { Domain, Range }, { { Ctx }, { Integer } } };
1949 static std::vector<Signature> constructor_sig = {
1960 static const std::unordered_map<std::string, std::vector<Signature>>
2144 static const Kind &matching_kind(const Method &method, const Signature &sig)  in matching_kind()
2412 static Signature specialize_anonymous_arg(const Signature &sig,  in specialize_anonymous_arg()
2430 static Signature specialize_anonymous_args(const Signature &sig,  in specialize_anonymous_args()
2470 	const Method &method, const Signature &sig, const Kind &match_arg)  in print_matching_method()
2499 static bool first_kind_is_ctx(const Signature &sig)  in first_kind_is_ctx()
2519 	const Method &method, const Signature &sig)  in print_matching_method()
2542 	const Method &method, const std::vector<Signature> &signatures)  in print_matching_method()
2557 static Signature select_set = { { Anonymous }, { { Domain }, { Integer } } };
2558 static Signature select_map =
2560 static std::vector<Signature> at_select = { select_set, select_map };
2565 static Signature bin_set_int = { { Domain }, { { Domain }, { Integer } } };
2566 static Signature bin_map_int =
2568 static std::vector<Signature> at_keep = { bin_set_int, bin_map_int };