Lines Matching refs:Range2
142 static TupleKindPtr Range2("Range2"); variable
471 { { Domain, Range2 }, { { Domain, Leaf }, { Anonymous } } };
496 { { Domain, Range2 }, { { Domain, Range }, { Range, Range2 } } };
506 { { Domain, Range2 }, { { Domain, Range }, { Range2, Range } } };
518 { { Range2, Range }, { { { Domain2, Range2 }, Range }, { Domain2 } } };
595 { { Domain, { Range2, Range } }, { { Domain, { Range, Range2 } } } };
602 { { { Domain, Domain2 }, { Range, Range2 } },
603 { { Domain, Range }, { Domain2, Range2 } } };
608 { { Domain, { Range, Range2 } },
609 { { Domain, Range }, { Domain, Range2 } } };
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 } } } };
660 { { Anonymous, Range2 }, { { { Domain, Range }, Range2 } } };
662 { { Domain, Anonymous }, { { Domain, { Range, Range2 } } } };
664 { { Domain2, Range2 },
665 { { { Domain, Range }, Range2 }, { Anonymous} } };
667 { { Domain, Range3 }, { { Domain, { Range, Range2 } }, { Anonymous} } };