The =Pair= constructor =Pair(x, y)= was used in =thread= and traversals for distribution of environments during traversal.
The =Pair= constructor has become obsolete with the introduction of FixedLengthTuple in StrategoRelease07.
Until StrategoRelease071 the =Pair= constructor will be defined as an overlay
overlays
Pair(x, y) = (x, y)
After that it will be removed from the library.
-- Main.EelcoVisser - 06 Jan 2002
------
CategoryDone