Lines Matching refs:Anonymous

133 static TupleKindPtr Anonymous("Anonymous");  variable
161 	if (Anonymous.get() == this)  in params()
267 	return size() != 0 && back() == Anonymous;  in is_anon()
442 static Signature bin_params_anon = { { }, { { }, { Anonymous } } };
443 static Signature bin_set_anon = { { Domain }, { { Domain }, { Anonymous } } };
445 	{ { Domain, Range }, { { Domain, Range }, { Anonymous } } };
473 static Signature update_set = { { Domain2 }, { { Leaf }, { Anonymous } } };
475 	{ { Domain2, Range }, { { Leaf, Range }, { Anonymous } } };
477 	{ { Domain, Range2 }, { { Domain, Leaf }, { Anonymous } } };
491 	{ { Domain }, { { }, { Anonymous }, { Integer } } };
493 	{ { Domain, Range }, { { Domain }, { Anonymous }, { Integer } } };
576 static Signature anonymous_set_from_params = { { Anonymous }, { { } } };
578 	{ { Domain, Anonymous }, { { Domain } } };
586 	{ { Anonymous }, { { }, { Anonymous } } };
588 	{ { Domain, Anonymous }, { { Domain }, { Anonymous } } };
688 	{ { Anonymous, Range2 }, { { { Domain, Range }, Range2 } } };
690 	{ { Domain, Anonymous }, { { Domain, { Range, Range2 } } } };
693 	  { { { Domain, Range }, Range2 }, { Anonymous} } };
695 	{ { Domain, Range3 }, { { Domain, { Range, Range2 } }, { Anonymous} } };
704 	{ { Domain }, { { Domain }, { Integer }, { Anonymous } } };
707 	  { { Domain, Range }, { Integer }, { Domain, Anonymous } } };
713 static Signature to_list_set = { { Anonymous }, { { Domain } } };
714 static Signature to_list_map = { { Domain, Anonymous }, { { Domain, Range } } };
928 static Signature from_list_set = { { Domain }, { { Domain }, { Anonymous } } };
930 	{ { Domain, Range }, { { Domain, Range }, { Domain, Anonymous } } };
932 	{ { Domain, Range }, { { Range }, { Domain, Anonymous } } };
989 static Kind set_anon{ Anonymous };
991 static Kind map_anon{ Domain, Anonymous };
1926 static Signature int_from_si = { { Anonymous }, { { Ctx }, { Integer } } };
2043 	if (general == Anonymous && specific != Anonymous)  in update_sub()
2196 	return kind != Anonymous && kind != Leaf;  in assignable()
2415 	const auto &subs = compute_unifier(arg_kind.back(), Anonymous);  in specialize_anonymous_arg()
2557 static Signature select_set = { { Anonymous }, { { Domain }, { Integer } } };
2559 	{ { Domain, Anonymous }, { { Domain, Range }, { Integer } } };