-- 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]};
}.