<> <> <> <<>> DIRECTORY RobotEvaluator USING [Value]; RobotInstruction: CEDAR DEFINITIONS ~ { Value: TYPE ~ RobotEvaluator.Value; EncodeStatement: PROC [opNum: INTEGER, tag: Value, immediate, indirect, indexed: BOOL] RETURNS [value: Value]; DecodeStatement: PROC [i: INTEGER] RETURNS [opNum, tag: INTEGER, immediate, indirect, indexed: BOOL]; }.