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

}.