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 =
436 static Signature bin_params_anon = { { }, { { }, { Anonymous } } };
437 static Signature bin_set_anon = { { Domain }, { { Domain }, { Anonymous } } };
438 static Signature bin_map_anon =
440 static std::vector<Signature> bin_op_anon =
445 static Signature ter_params_int_int =
447 static Signature ter_set_int_int =
449 static Signature ter_map_int_int =
451 static std::vector<Signature> ter_int_int =
457 static Signature ter_set =
459 static Signature ter_map =
462 static std::vector<Signature> fn_ter_op = { ter_set, ter_map };
467 static Signature update_set = { { Domain2 }, { { Leaf }, { Anonymous } } };
468 static Signature update_domain =
470 static Signature update_range =
476 static std::vector<Signature> min_max = { un_set, bin_set, un_map, bin_map };
480 static Signature to_set = { { Domain }, { { }, { Integer } } };
481 static Signature add_range = { { Domain, Range }, { { Domain }, { Integer } } };
484 static Signature to_set_named =
486 static Signature add_range_named =
492 static Signature set_forward = { { Range }, { { Domain }, { Domain, Range } } };
493 static Signature domain_forward =
495 static Signature range_forward =
501 static Signature set_backward =
503 static Signature domain_backward =
505 static Signature range_backward =
507 static Signature domain_wrapped_domain_backward =
514 static Signature bind_set = { { }, { { Domain }, { Domain } } };
515 static Signature bind_domain = { { Range }, { { Domain, Range }, { Domain } } };
516 static Signature bind_range = { { Domain }, { { Domain, Range }, { Range } } };
517 static Signature bind_domain_wrapped_domain =
526 static Signature each_params = { { Res }, { { }, { Res }, { } } };
527 static Signature each_set = { { Res }, { { Domain }, { Res }, { Domain } } };
528 static Signature each_map =
530 static std::vector<Signature> each = { each_params, each_set, each_map };
535 static Signature map_from_range_and_domain =
541 static Signature map_from_domain_and_range =
547 static Signature anonymous_set_from_params = { { Anonymous }, { { } } };
548 static Signature anonymous_map_from_domain =
550 static std::vector<Signature> anonymous_from_domain =
556 static Signature set_from_params = { { Domain }, { { }, { Domain } } };
561 static Signature anonymous_set_from_params_bin_anon =
563 static Signature anonymous_map_from_domain_bin_anon =
565 static std::vector<Signature> anonymous_from_domain_bin_anon = {
573 static Signature set_to_map = { { Domain, Domain }, { { Domain } } };
578 static Signature domain = { { Domain }, { { Domain, Range } } };
579 static Signature range = { { Range }, { { Domain, Range } } };
580 static Signature transformation_domain = { { Domain }, { { Domain, Domain } } };
584 static Signature set_params = { { }, { { Domain } } };
585 static Signature map_params = { { }, { { Domain, Range } } };
589 static std::vector<Signature> fn_domain = { domain, set_params };
593 static Signature map_reverse = { { Range, Domain }, { { Domain, Range } } };
594 static Signature map_range_reverse =
599 static Signature set_product =
601 static Signature map_product =
604 static Signature domain_product =
607 static Signature range_product =
613 static Signature domain_factor_domain =
615 static Signature domain_factor_range =
617 static Signature range_factor_domain =
619 static Signature range_factor_range =
624 static Signature curry =
627 static Signature uncurry =
633 static Signature wrap = { { { Domain, Range } }, { { Domain, Range } } };
634 static Signature unwrap = { { Domain, Range }, { { { Domain, Range } } } };
639 static Signature domain_map =
641 static Signature range_map =
647 static Signature map_cmp =
653 static Signature set_join =
659 static Signature anonymize_nested_domain =
661 static Signature anonymize_nested_range =
663 static Signature replace_nested_domain =
666 static Signature replace_nested_range =
668 static std::vector<Signature> flatten_domain =
670 static std::vector<Signature> flatten_range =
675 static Signature set_at_set =
677 static Signature set_at_map =
680 static std::vector<Signature> set_at = { set_at_set, set_at_map };
685 static Signature to_list_set = { { Anonymous }, { { Domain } } };
686 static Signature to_list_map = { { Domain, Anonymous }, { { Domain, Range } } };
690 static Signature ctx_params = { { }, { { Ctx } } };
691 static Signature ctx_set = { { Domain }, { { Ctx } } };
692 static Signature ctx_map = { { Domain, Range }, { { Ctx } } };
711 typedef std::map<std::string, std::vector<Signature>, larger_infix> infix_map;
750 static std::vector<Signature> range_op = { un_set, range };
755 static std::vector<Signature> bin_val = { bin_set, bin_map_range };
760 static const std::unordered_map<std::string, std::vector<Signature>>
1273 	void print_method_template_arguments(const Signature &sig);
1274 	void print_method_header(const Method &method, const Signature &sig);
1281 	bool print_matching_method(const Method &method, const Signature &sig,
1283 	bool print_matching_method(const Method &method, const Signature &sig);
1285 		const std::vector<Signature> &signatures);
1296 		const Signature &sig, bool deleted) = 0;
1393 	template_cpp_arg_type_printer(const Signature &sig) :  in template_cpp_arg_type_printer()
1398 	const Signature &sig;
1423 	template_method_type_printer(const Signature &sig,  in template_method_type_printer()
1476 	const Signature &sig)  in print_method_template_arguments()
1500 	const Method &method, const Signature &sig)  in print_method_header()
1542 		const Signature &sig, bool deleted) override;
1550 	const Method &method, const Signature &sig, bool deleted)  in print_method_sig()
1582 static Signature instance_sig(const Method &method,  in instance_sig()
1615 		const Signature &sig);
1616 	void print_method_body(const Method &method, const Signature &sig);
1617 	void print_constructor_body(const Method &method, const Signature &sig);
1619 		const Signature &sig, bool deleted) override;
1629 	const Method &method, const Signature &sig)  in print_constructor_body()
1678 	const Signature &sig)  in print_callback_lambda()
1716 	const Method &method, const Signature &sig)  in print_callback_method_body()
1751 	const Method &method, const Signature &sig)  in print_method_body()
1781 	const Method &method, const Signature &sig, bool deleted)  in print_method_sig()
1821 static Signature from_list_set = { { Domain }, { { Domain }, { Anonymous } } };
1822 static Signature from_list_map =
1827 static Signature params_from_str = { { }, { { Ctx }, { Str } } };
1828 static Signature set_from_str = { { Domain }, { { Ctx }, { Str } } };
1829 static Signature map_from_str = { { Domain, Range }, { { Ctx }, { Str } } };
1830 static std::vector<Signature> from_str =
1835 static Signature int_from_si = { { Anonymous }, { { Ctx }, { Integer } } };
1840 static Signature alloc_params = { { }, { { Ctx }, { Integer } } };
1841 static Signature alloc_set = { { Domain }, { { Ctx }, { Integer } } };
1842 static Signature alloc_map = { { Domain, Range }, { { Ctx }, { Integer } } };
1858 static std::vector<Signature> constructor_sig = {
1869 static const std::unordered_map<std::string, std::vector<Signature>>
2053 static const Kind &matching_kind(const Method &method, const Signature &sig)  in matching_kind()
2305 	const Method &method, const Signature &sig, const Kind &match_arg)  in print_matching_method()
2332 static bool first_kind_is_ctx(const Signature &sig)  in first_kind_is_ctx()
2352 	const Method &method, const Signature &sig)  in print_matching_method()
2375 	const Method &method, const std::vector<Signature> &signatures)  in print_matching_method()
2390 static Signature select_set = { { Anonymous }, { { Domain }, { Integer } } };
2391 static Signature select_map =
2393 static std::vector<Signature> at_select = { select_set, select_map };
2398 static Signature bin_set_int = { { Domain }, { { Domain }, { Integer } } };
2399 static Signature bin_map_int =
2401 static std::vector<Signature> at_keep = { bin_set_int, bin_map_int };