<> <> DIRECTORY RoseTypes; RoseIOHacks: CEDAR DEFINITIONS = BEGIN OPEN RoseTypes; Drive: TYPE = REF DriveRep; DriveRep: TYPE = RECORD [ tag: DriveTagType, drives: PACKED SEQUENCE COMPUTED NAT OF DriveLevel]; DirectionInstruction: TYPE = {none, forward, backward, check, firstFoo, restFoo, udFwdLBack}; CopyIO: PROC [from, to: WordPtr, by: Ports, what: DirectionInstruction, specials, generals, simples: BOOLEAN, drive: Drive]; END.