<> <> <> DIRECTORY DragOpsCross USING [Word, ZerosWord], IO USING [STREAM], Rope USING [ROPE], SparseMemory USING [Base]; WriteSparseMemory: CEDAR DEFINITIONS = BEGIN Base: TYPE = SparseMemory.Base; ROPE: TYPE = Rope.ROPE; STREAM: TYPE = IO.STREAM; Word: TYPE = DragOpsCross.Word; ZerosWord: Word = DragOpsCross.ZerosWord; TestAbort: TYPE = PROC RETURNS [abort: BOOL _ FALSE]; ToStream: PROC [st: STREAM, base: Base, start: Word _ ZerosWord, words: INT _ LAST[INT], byteOutput, displayCode: BOOL _ FALSE, testAbort: TestAbort _ NIL]; <> <> <> <> ToFile: PROC [name: ROPE, base: Base, byteOutput, displayCode: BOOL _ FALSE]; <> <> <> <<>> END.