|
Go backward to =: AssignmentGo up to General |
|
==: Comparison= (t == s) = (int t == s) Specification: Returns 1 if a and b are bound to the same array and 0 else.
Complexity: .
Note: By implicit conversion, the following comparisons are legal:
Thread<R> t
Thread<R, A, ..., A> s
t==s
s==t