% $Id: SolveAll.oz,v 1.1 2007/11/26 20:09:20 leavens Exp leavens $ declare % See section 9.1.4 of CTM fun {SolveAll F} L = {Solve F} proc {TouchAll L} if L==nil then skip else {TouchAll L.2} end end in {TouchAll L} L end