% $Id: SolveAll.oz,v 1.1 2007/11/26 17:17:36 leavens Exp leavens $ \insert 'Solve.oz' 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