-- PairSolverImpl.mesa
-- August 30, 1983 3:46 pm
-- Last Edited by: Gnelson, December 12, 1983 12:52 am

DIRECTORY Lisp, JunoSolver, SolverCommon, PairSolver;

PairSolverImpl: PROGRAM EXPORTS PairSolver =
{OPEN SolverCommon, PairSolver;

NewContext: PUBLIC PROC RETURNS [Context] = {RETURN [NEW[ContextRec]]};

Merge: PUBLIC PROC[x: Solvee, y: Solvee, eqin: Lisp.Value, pcon: Context]
RETURNS [eqout: Lisp.Value, rc: ResultCode] = {RETURN [eqin, $solved]};

Fix: PUBLIC PROC[u: REF, x: Solvee, eqin: Lisp.Value, pcon: Context]
RETURNS [eqout: Lisp.Value, rc: ResultCode] = {RETURN[eqin, $solved]};

IsPairOf: PUBLIC PROC[x, y, z: Solvee, eqin: Lisp.Value, pcon: Context]
RETURNS [eqout: Lisp.Value, rc: ResultCode] = {RETURN[eqin, $solved]};

Neq: PUBLIC PROC[u, v: Solvee, eqin: Lisp.Value] RETURNS [ResultCode] =
{RETURN [$solved]};

}.