% $Id: SolveOne.oz,v 1.1 2007/11/26 20:08:55 leavens Exp leavens $ 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