<> <> <> <<>> DIRECTORY SafeStorage, IO, Atom, Rope, Basics, Imager, MathExpr, AlgebraClasses; Evaluator: CEDAR DEFINITIONS = BEGIN <> ROPE: TYPE = Rope.ROPE; EXPR: TYPE = MathExpr.EXPR; Object: TYPE = AlgebraClasses.Object; <> SimpleBinaryStructureLUB: AlgebraClasses.BinaryStructureLUBOp; <> <<>> SimplePolyStructureForVar: AlgebraClasses.UnaryOp; <> <<>> BinaryStructureLUB: AlgebraClasses.BinaryStructureLUBOp; <> <<>> Eval: PROC[expr: EXPR, sourceStructureForMethod: Object _ NIL] RETURNS[Object]; <> <> KillVariable: AlgebraClasses.UnaryOp; <> <<>> KillAll: AlgebraClasses.TrueNullaryOp; <> <<>> <<>> END.