Lines Matching refs:Domain2
139 static TupleKindPtr Domain2("Domain2"); variable
433 { { { Domain, Domain2 }, Range },
434 { { { Domain, Domain2 }, Range }, { Domain } } };
473 static Signature update_set = { { Domain2 }, { { Leaf }, { Anonymous } } };
475 { { Domain2, Range }, { { Leaf, Range }, { Anonymous } } };
500 { { Domain2, Range }, { { Domain, Range }, { Domain, Domain2 } } };
508 { { Domain2 }, { { Domain }, { Domain2, Domain } } };
510 { { Domain2, Range }, { { Domain, Range }, { Domain2, Domain } } };
514 { { { Domain3, Domain2 }, Range },
515 { { { Domain, Domain2 }, Range }, { Domain3, Domain } } };
524 { { Range2, Range }, { { { Domain2, Range2 }, Range }, { Domain2 } } };
621 { { { Domain2, Domain }, Range }, { { { Domain, Domain2 }, Range } } };
630 { { { Domain, Domain2 }, { Range, Range2 } },
631 { { Domain, Range }, { Domain2, Range2 } } };
633 { { { Domain, Domain2 }, Range },
634 { { Domain, Range }, { Domain2, Range } } };
642 { { Domain, Range }, { { { Domain, Domain2 }, Range } } };
644 { { Domain2, Range }, { { { Domain, Domain2 }, Range } } };
692 { { Domain2, Range2 },