Lines Matching refs:Range2
142 static TupleKindPtr Range2("Range2"); variable
436 { { Domain, { Range, Range2 } },
437 { { Domain, { Range, Range2 } }, { Range } } };
477 { { Domain, Range2 }, { { Domain, Leaf }, { Anonymous } } };
502 { { Domain, Range2 }, { { Domain, Range }, { Range, Range2 } } };
512 { { Domain, Range2 }, { { Domain, Range }, { Range2, Range } } };
524 { { Range2, Range }, { { { Domain2, Range2 }, Range }, { Domain2 } } };
623 { { Domain, { Range2, Range } }, { { Domain, { Range, Range2 } } } };
630 { { { Domain, Domain2 }, { Range, Range2 } },
631 { { Domain, Range }, { Domain2, Range2 } } };
636 { { Domain, { Range, Range2 } },
637 { { Domain, Range }, { Domain, Range2 } } };
646 { { Domain, Range }, { { Domain, { Range, Range2 } } } };
648 { { Domain, Range2 }, { { Domain, { Range, Range2 } } } };
653 { { Domain, { Range, Range2 } },
654 { { { Domain, Range }, Range2 } } };
656 { { { Domain, Range }, Range2 },
657 { { Domain, { Range, Range2 } } } };
688 { { Anonymous, Range2 }, { { { Domain, Range }, Range2 } } };
690 { { Domain, Anonymous }, { { Domain, { Range, Range2 } } } };
692 { { Domain2, Range2 },
693 { { { Domain, Range }, Range2 }, { Anonymous} } };
695 { { Domain, Range3 }, { { Domain, { Range, Range2 } }, { Anonymous} } };