Lines Matching refs:Range

141 static TupleKindPtr Range("Range");  variable
411 static Signature un_map = { { Domain, Range }, { { Domain, Range } } };
422 	{ { Domain, Range }, { { Domain, Range }, { Domain, Range } } };
427 	{ { Domain, Range }, { { Domain, Range }, { } } };
429 	{ { Domain, Range }, { { Domain, Range }, { Domain } } };
431 	{ { Domain, Range }, { { Domain, Range }, { Range } } };
433 	{ { { Domain, Domain2 }, Range },
434 	  { { { Domain, Domain2 }, Range }, { Domain } } };
436 	{ { Domain, { Range, Range2 } },
437 	  { { Domain, { Range, Range2 } }, { Range } } };
445 	{ { Domain, Range }, { { Domain, Range }, { Anonymous } } };
456 	{ { Domain, Range }, { { Domain, Range }, { Integer }, { Integer } } };
466 	{ { Domain, Range },
467 	  { { Domain, Range }, { Domain, Range }, { Domain, Range } } };
475 	{ { Domain2, Range }, { { Leaf, Range }, { Anonymous } } };
487 static Signature add_range = { { Domain, Range }, { { Domain }, { Integer } } };
493 	{ { Domain, Range }, { { Domain }, { Anonymous }, { Integer } } };
498 static Signature set_forward = { { Range }, { { Domain }, { Domain, Range } } };
500 	{ { Domain2, Range }, { { Domain, Range }, { Domain, Domain2 } } };
502 	{ { Domain, Range2 }, { { Domain, Range }, { Range, Range2 } } };
510 	{ { Domain2, Range }, { { Domain, Range }, { Domain2, Domain } } };
512 	{ { Domain, Range2 }, { { Domain, Range }, { Range2, Range } } };
514 	{ { { Domain3, Domain2 }, Range },
515 	  { { { Domain, Domain2 }, Range }, { Domain3, Domain } } };
521 static Signature bind_domain = { { Range }, { { Domain, Range }, { Domain } } };
522 static Signature bind_range = { { Domain }, { { Domain, Range }, { Range } } };
524 	{ { Range2, Range }, { { { Domain2, Range2 }, Range }, { Domain2 } } };
535 	{ { Res }, { { Domain, Range }, { Res }, { Domain, Range } } };
550 	{ { Res }, { { Domain, Range },
551 		     { Res }, { Domain, Range }, { Domain, Range },
552 		     { Res }, { Domain, Range } } };
560 	{ { Domain, Range }, { { Range }, { Domain } } };
566 	{ { Domain, Range }, { { Domain }, { Range } } };
602 static Signature domain = { { Domain }, { { Domain, Range } } };
603 static Signature range = { { Range }, { { Domain, Range } } };
609 static Signature map_params = { { }, { { Domain, Range } } };
617 static Signature map_reverse = { { Range, Domain }, { { Domain, Range } } };
619 	{ { Domain, { Range2, Range } }, { { Domain, { Range, Range2 } } } };
624 	{ { { Domain, Range } }, { { Domain }, { Range } } };
626 	{ { { Domain, Domain2 }, { Range, Range2 } },
627 	  { { Domain, Range }, { Domain2, Range2 } } };
629 	{ { { Domain, Domain2 }, Range },
630 	  { { Domain, Range }, { Domain2, Range } } };
632 	{ { Domain, { Range, Range2 } },
633 	  { { Domain, Range }, { Domain, Range2 } } };
638 	{ { Domain, Range }, { { { Domain, Domain2 }, Range } } };
640 	{ { Domain2, Range }, { { { Domain, Domain2 }, Range } } };
642 	{ { Domain, Range }, { { Domain, { Range, Range2 } } } };
644 	{ { Domain, Range2 }, { { Domain, { Range, Range2 } } } };
649 	{ { Domain, { Range, Range2 } },
650 	  { { { Domain, Range }, Range2 } } };
652 	{ { { Domain, Range }, Range2 },
653 	  { { Domain, { Range, Range2 } } } };
657 static Signature wrap = { { { Domain, Range } }, { { Domain, Range } } };
658 static Signature unwrap = { { Domain, Range }, { { { Domain, Range } } } };
664 	{ { { Domain, Range }, Domain }, { { Domain, Range } } };
666 	{ { { Domain, Range }, Range }, { { Domain, Range } } };
672 	{ { Domain, Domain }, { { Domain, Domain }, { Domain, Range } } };
678 	{ { Domain }, { { Domain, Range }, { Domain, Range } } };
684 	{ { Anonymous, Range2 }, { { { Domain, Range }, Range2 } } };
686 	{ { Domain, Anonymous }, { { Domain, { Range, Range2 } } } };
689 	  { { { Domain, Range }, Range2 }, { Anonymous} } };
691 	{ { Domain, Range3 }, { { Domain, { Range, Range2 } }, { Anonymous} } };
702 	{ { Domain, Range },
703 	  { { Domain, Range }, { Integer }, { Domain, Anonymous } } };
710 static Signature to_list_map = { { Domain, Anonymous }, { { Domain, Range } } };
716 static Signature ctx_map = { { Domain, Range }, { { Ctx } } };
961 static Kind map_type{ Domain, Range };
1892 	{ { Domain, Range }, { { Domain, Range }, { Domain, Anonymous } } };
1898 static Signature map_from_str = { { Domain, Range }, { { Ctx }, { Str } } };
1911 static Signature alloc_map = { { Domain, Range }, { { Ctx }, { Integer } } };
2537 	{ { Domain, Anonymous }, { { Domain, Range }, { Integer } } };
2545 	{ { Domain, Range }, { { Domain, Range }, { Integer } } };