<> <> <> <<>> DIRECTORY RobotDefs USING [Memory, MemoryIndex, MemoryMap], Rope USING [ROPE]; RobotOpCodes: CEDAR DEFINITIONS ~ { MemoryIndex: TYPE ~ RobotDefs.MemoryIndex; Memory: TYPE ~ RobotDefs.Memory; IsOpCode: PROC [r: Rope.ROPE] RETURNS [BOOLEAN]; OpCode: PROC [r: Rope.ROPE] RETURNS [REF INTEGER]; DoOpCode: PROC [op: INT, addr, cont: INTEGER, m: REF Memory] RETURNS [memoryWritten: RobotDefs.MemoryMap]; <> }.