Lines Matching refs:Domain

138 static TupleKindPtr Domain("Domain");  variable
410 static Signature un_set = { { Domain }, { { Domain } } };
411 static Signature un_map = { { Domain, Range }, { { Domain, Range } } };
420 static Signature bin_set = { { Domain }, { { Domain }, { Domain } } };
422 	{ { Domain, Range }, { { Domain, Range }, { Domain, Range } } };
425 static Signature bin_set_params = { { Domain }, { { Domain }, { } } };
427 	{ { Domain, Range }, { { Domain, Range }, { } } };
429 	{ { Domain, Range }, { { Domain, Range }, { Domain } } };
431 	{ { Domain, Range }, { { Domain, Range }, { Range } } };
437 static Signature bin_set_anon = { { Domain }, { { Domain }, { Anonymous } } };
439 	{ { Domain, Range }, { { Domain, Range }, { Anonymous } } };
448 	{ { Domain }, { { Domain }, { Integer }, { Integer } } };
450 	{ { Domain, Range }, { { Domain, Range }, { Integer }, { Integer } } };
458 	{ { Domain }, { { Domain }, { Domain }, { Domain } } };
460 	{ { Domain, Range },
461 	  { { Domain, Range }, { Domain, Range }, { Domain, Range } } };
471 	{ { Domain, Range2 }, { { Domain, Leaf }, { Anonymous } } };
480 static Signature to_set = { { Domain }, { { }, { Integer } } };
481 static Signature add_range = { { Domain, Range }, { { Domain }, { Integer } } };
485 	{ { Domain }, { { }, { Anonymous }, { Integer } } };
487 	{ { Domain, Range }, { { Domain }, { Anonymous }, { Integer } } };
492 static Signature set_forward = { { Range }, { { Domain }, { Domain, Range } } };
494 	{ { Domain2, Range }, { { Domain, Range }, { Domain, Domain2 } } };
496 	{ { Domain, Range2 }, { { Domain, Range }, { Range, Range2 } } };
502 	{ { Domain2 }, { { Domain }, { Domain2, Domain } } };
504 	{ { Domain2, Range }, { { Domain, Range }, { Domain2, Domain } } };
506 	{ { Domain, Range2 }, { { Domain, Range }, { Range2, Range } } };
509 	  { { { Domain, Domain2 }, Range }, { Domain3, Domain } } };
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 } } };
527 static Signature each_set = { { Res }, { { Domain }, { Res }, { Domain } } };
529 	{ { Res }, { { Domain, Range }, { Res }, { Domain, Range } } };
536 	{ { Domain, Range }, { { Range }, { Domain } } };
542 	{ { Domain, Range }, { { Domain }, { Range } } };
549 	{ { Domain, Anonymous }, { { Domain } } };
556 static Signature set_from_params = { { Domain }, { { }, { Domain } } };
564 	{ { Domain, Anonymous }, { { Domain }, { Anonymous } } };
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 } } };
593 static Signature map_reverse = { { Range, Domain }, { { Domain, Range } } };
595 	{ { Domain, { Range2, Range } }, { { Domain, { Range, Range2 } } } };
600 	{ { { Domain, Range } }, { { Domain }, { Range } } };
602 	{ { { Domain, Domain2 }, { Range, Range2 } },
603 	  { { Domain, Range }, { Domain2, Range2 } } };
605 	{ { { Domain, Domain2 }, Range },
606 	  { { Domain, Range }, { Domain2, Range } } };
608 	{ { Domain, { Range, Range2 } },
609 	  { { Domain, Range }, { Domain, Range2 } } };
614 	{ { Domain, Range }, { { { Domain, Domain2 }, Range } } };
616 	{ { Domain2, Range }, { { { Domain, Domain2 }, Range } } };
618 	{ { Domain, Range }, { { Domain, { Range, Range2 } } } };
620 	{ { Domain, Range2 }, { { Domain, { Range, Range2 } } } };
625 	{ { Domain, { Range, Range2 } },
626 	  { { { Domain, Range }, Range2 } } };
628 	{ { { Domain, Range }, Range2 },
629 	  { { Domain, { Range, Range2 } } } };
633 static Signature wrap = { { { Domain, Range } }, { { Domain, Range } } };
634 static Signature unwrap = { { Domain, Range }, { { { Domain, Range } } } };
640 	{ { { Domain, Range }, Domain }, { { Domain, Range } } };
642 	{ { { Domain, Range }, Range }, { { Domain, Range } } };
648 	{ { Domain, Domain }, { { Domain, Domain }, { Domain, Range } } };
654 	{ { Domain }, { { Domain, Range }, { Domain, Range } } };
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 } } };
678 	{ { Domain, Range },
679 	  { { Domain, Range }, { Integer }, { Domain, Anonymous } } };
685 static Signature to_list_set = { { Anonymous }, { { Domain } } };
686 static Signature to_list_map = { { Domain, Anonymous }, { { Domain, Range } } };
691 static Signature ctx_set = { { Domain }, { { Ctx } } };
692 static Signature ctx_map = { { Domain, Range }, { { Ctx } } };
926 static Kind set_type{ Domain };
928 static Kind map_type{ Domain, Range };
929 static Kind map_anon{ Domain, Anonymous };
1821 static Signature from_list_set = { { Domain }, { { Domain }, { Anonymous } } };
1823 	{ { Domain, Range }, { { Domain, Range }, { Domain, Anonymous } } };
1828 static Signature set_from_str = { { Domain }, { { Ctx }, { Str } } };
1829 static Signature map_from_str = { { Domain, Range }, { { Ctx }, { Str } } };
1841 static Signature alloc_set = { { Domain }, { { Ctx }, { Integer } } };
1842 static Signature alloc_map = { { Domain, Range }, { { Ctx }, { Integer } } };
2390 static Signature select_set = { { Anonymous }, { { Domain }, { Integer } } };
2392 	{ { Domain, Anonymous }, { { Domain, Range }, { Integer } } };
2398 static Signature bin_set_int = { { Domain }, { { Domain }, { Integer } } };
2400 	{ { Domain, Range }, { { Domain, Range }, { Integer } } };