-- LispSolverImpl.mesa -- August 30, 1983 3:46 pm DIRECTORY Lisp, JunoSolver, SolverCommon, LispSolver; LispSolverImpl: DEFINITIONS = {OPEN SolverCommon, LispSolver; NewContext: PROC RETURNS [Context] = {RETURN [NIL]}; Merge: PROC[x: Solvee, y: Solvee, eqin: Lisp.Value, lcon: Context] RETURNS [eqout: Lisp.Value, rc: resultCode] = {RETURN [NIL, stumped]}; Fix: PROC[u: REF, x: Solvee, eqin: Lisp.Value, lcon: Context] RETURNS [eqout: Lisp.Value, rc: resultCode] = {RETURN[NIL, stumped]}; IsPairOf: PROC[x, y, z: Solvee, eqin: Lisp.Value, lcon: Context] RETURNS [eqout: Lisp.Value, rc: resultCode] = {RETURN[NIL, stumped]}; }.  JJ~