-- LispSolver.mesa
-- August 30, 1983 3:07 pm

DIRECTORY Lisp, JunoSolver, SolverCommon;

LispSolver: DEFINITIONS =
{OPEN SolverCommon;

Context: TYPE = REF;

NewContext: PROC RETURNS [Context];

Merge: PROC[x: Solvee, y: Solvee, eqin: Lisp.Value, lcon: Context]
RETURNS [eqout: Lisp.Value, rc: resultCode];

Fix: PROC[u: REF, x: Solvee, eqin: Lisp.Value, lcon: Context]
RETURNS [eqout: Lisp.Value, rc: resultCode];

IsPairOf: PROC[x, y, z: Solvee, eqin: Lisp.Value, lcon: Context]
RETURNS [eqout: Lisp.Value, rc: resultCode];

}.