Anonymous
constraint c {
a.size == 10;
b.size == 10;
unique {a,b};
}
Unique key word makes sure that both a and b have unique elements wrt each other as well. If we want to have some elements common in both a and b, we can put unique in different unique statements. Repetition is not guaranteed, but possible.