% $Id: SolveOne.oz,v 1.1 2007/11/26 17:17:47 leavens Exp leavens $ \insert 'Solve.oz' declare % Compare section 9.1.4 of CTM fun {SolveOne F} L = {Solve F} in if L==nil then nil else [L.1] end end