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()
436 static Signature bin_params_anon = { { }, { { }, { Anonymous } } };
437 static Signature bin_set_anon = { { Domain }, { { Domain }, { Anonymous } } };
439 { { Domain, Range }, { { Domain, Range }, { Anonymous } } };
467 static Signature update_set = { { Domain2 }, { { Leaf }, { Anonymous } } };
469 { { Domain2, Range }, { { Leaf, Range }, { Anonymous } } };
471 { { Domain, Range2 }, { { Domain, Leaf }, { Anonymous } } };
485 { { Domain }, { { }, { Anonymous }, { Integer } } };
487 { { Domain, Range }, { { Domain }, { Anonymous }, { Integer } } };
547 static Signature anonymous_set_from_params = { { Anonymous }, { { } } };
549 { { Domain, Anonymous }, { { Domain } } };
562 { { Anonymous }, { { }, { Anonymous } } };
564 { { Domain, Anonymous }, { { Domain }, { Anonymous } } };
660 { { Anonymous, Range2 }, { { { Domain, Range }, Range2 } } };
662 { { Domain, Anonymous }, { { Domain, { Range, Range2 } } } };
665 { { { Domain, Range }, Range2 }, { Anonymous} } };
667 { { Domain, Range3 }, { { Domain, { Range, Range2 } }, { Anonymous} } };
676 { { Domain }, { { Domain }, { Integer }, { Anonymous } } };
679 { { Domain, Range }, { Integer }, { Domain, Anonymous } } };
685 static Signature to_list_set = { { Anonymous }, { { Domain } } };
686 static Signature to_list_map = { { Domain, Anonymous }, { { Domain, Range } } };
927 static Kind set_anon{ Anonymous };
929 static Kind map_anon{ Domain, Anonymous };
1821 static Signature from_list_set = { { Domain }, { { Domain }, { Anonymous } } };
1823 { { Domain, Range }, { { Domain, Range }, { Domain, Anonymous } } };
1835 static Signature int_from_si = { { Anonymous }, { { Ctx }, { Integer } } };
1952 if (general == Anonymous && specific != Anonymous) in update_sub()
2105 return kind != Anonymous && kind != Leaf; in assignable()
2390 static Signature select_set = { { Anonymous }, { { Domain }, { Integer } } };
2392 { { Domain, Anonymous }, { { Domain, Range }, { Integer } } };