<> <> DIRECTORY Rope USING [ROPE], IO USING [STREAM]; Variables: CEDAR DEFINITIONS = BEGIN <> VariableSeq: TYPE = REF VariableSeqRec; VariableSeqRec: TYPE = RECORD [SEQUENCE lengthPlus1: [1..100] OF Rope.ROPE]; <> <<>> ReadVariableSeq: PROC [in: IO.STREAM] RETURNS [V: VariableSeq]; VariableSeqFromRope: PROC [in: Rope.ROPE] RETURNS [V: VariableSeq]; VariableSeqToRope: PROC [V: VariableSeq] RETURNS [out: Rope.ROPE]; WriteVariableSeq: PROC [V: VariableSeq, out: IO.STREAM]; <> VariableIndex: PROC [var: Rope.ROPE, V: VariableSeq] RETURNS [CARDINAL]; <> VSRemoveMainVariable: PROC [V: VariableSeq] RETURNS [VariableSeq]; MainVariable: PROC [V: VariableSeq] RETURNS [VariableSeq]; VariableFirstChar: PROC [char: CHAR, V: VariableSeq] RETURNS [BOOL]; <> END.