This is a revised version of n1550=03-0133, which was
accepted for Technical Report 1 by the C++ standard
committee's library working group. This proposal is a
@@ -853,6 +853,10 @@ met.
Y
post: y==x
+
Y(x)
+
Y
+
post: Y(x)==x
+
x==y
convertible to bool
== is an equivalence relation over its domain.
@@ -1019,7 +1023,7 @@ LocalWords: TraversalTag typename lvalues DWA Hmm JGS mis enum -->