-- JunoSolver.mesa
-- August 30, 1983 3:03 pm
-- Last Edited by: Gnelson, November 3, 1983 4:00 pm

DIRECTORY JunoSyntax, JunoBind, SolverCommon;

JunoSolver: DEFINITIONS =
{Solve: PUBLIC PROC [f: JunoSyntax.Formula, 
                           vl: JunoSyntax.Varlist, 
                           al: JunoBind.Alist, 
                           defs:REF]
        RETURNS [al2: JunoBind.Alist, rc: ResultCode];
 
 ResultCode: TYPE = SolverCommon.ResultCode;}.