-- September 7, 1982 10:58 pm
 -- September 8, 1982 10:59 pm
 --  JunoAlgebra.mesa
 --  written July, 1982 by Donna M. Auguste and Greg Nelson
 
-- Last Edited by: Gnelson, October 11, 1983 4:15 pm
 DIRECTORY JunoStorage, Real;
  
 JunoAlgebra: DEFINITIONS = 
   BEGIN
     VerdictAndCulprit: TYPE = RECORD [verdict: Verdict, culprit: Se];  
      -- culprit relevant only if verdict is No or OfCourseNot

      Verdict: TYPE = {Yes, No, OfCourseNot}; -- Yes == innocent
      
      Se: TYPE = REF ANY;  -- Symbolic Expression

      WellFormedDef: PUBLIC PROC [f: Se] RETURNS [VerdictAndCulprit];

     Eval: PUBLIC PROC [userText: REF ANY, alist: LIST OF REF ANY];
     
     Apply: PUBLIC PROC[commandName: Se, args: LIST OF JunoStorage.PointPtr, alist: Se] ;
        
   END.