<> <> <> DIRECTORY IO, Ports, Rope; RosemaryVector: CEDAR DEFINITIONS = BEGIN OpenVectorFile: PROC [fileName: Rope.ROPE, port: Ports.Port, read: BOOL _ TRUE] RETURNS [vectorFile: VectorFile]; CloseVectorFile: PROC [vectorFile: VectorFile]; WriteVector: PROC [vectorFile: VectorFile, neverSayExpect: BOOL _ FALSE]; ReadVector: PROC [vectorFile: VectorFile]; VectorFile: TYPE = REF VectorFileRec; VectorFileRec: TYPE = RECORD [ port: Ports.Port, stream: IO.STREAM]; END.