% $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} local NewVar in thread NewVar = {Double Xr} end 2*X | NewVar end end