<> <> <> <> DIRECTORY RoseTypes; RoseVectors: CEDAR DEFINITIONS = BEGIN OPEN RoseTypes; <> <<>> <> <> <> <> <> <> <<>> <> <> <> <> <> <<>=2 means tester asserts this value*strength>> <> <> <> WriteHeader: PROC [to: STREAM, cell: Cell]; WriteVector: PROC [to: STREAM, cell: Cell]; END.