% $Id: Double.oz,v 1.2 2007/10/29 20:41:14 leavens Exp leavens $ declare % Double each element in a stream fun {Double X|Xr} 2*X | thread {Double Xr} end end