added another valid expression to Interoperable Iterators

[SVN r21699]
This commit is contained in:
Jeremy Siek
2004-01-13 19:25:15 +00:00
parent 80f6a13e79
commit df66940f0f
2 changed files with 9 additions and 3 deletions

View File

@ -685,6 +685,8 @@ met.
+===========================================+=================================================+===================================================+
|``y = x`` |``Y`` |post: ``y == x`` |
+-------------------------------------------+-------------------------------------------------+---------------------------------------------------+
|``Y(x)`` |``Y`` |post: ``Y(x) == x`` |
+-------------------------------------------+-------------------------------------------------+---------------------------------------------------+
|``x == y`` |convertible to ``bool`` |``==`` is an equivalence relation over its domain. |
+-------------------------------------------+-------------------------------------------------+---------------------------------------------------+
|``y == x`` |convertible to ``bool`` |``==`` is an equivalence relation over its domain. |