<> <> <> <<>> DIRECTORY Rope, IO, AlgebraClasses; Sequences: CEDAR DEFINITIONS ~ BEGIN OPEN Rope, AC: AlgebraClasses; <> Sequence: TYPE = AC.Object; SequenceData: TYPE = REF SequenceDataRec; SequenceDataRec: TYPE = RECORD [ SEQUENCE lengthPlus1:[1..65534] OF AC.Object ]; <> <> SequenceStructureData: TYPE = REF SequenceStructureDataRec; SequenceStructureDataRec: TYPE = RECORD [ row: BOOL _ TRUE, elementStructure: AC.Object ]; <> MakeSequenceStructure: AC.SequenceStructureConstructor; PrintName: AC.ToRopeOp; ShortPrintName: AC.ToRopeOp; ElementStructure: AC.UnaryOp; <> Recast: AC.BinaryOp; CanRecast: AC.BinaryPredicate; ToExpr: AC.ToExprOp; LegalFirstChar: AC.LegalFirstCharOp; Read: AC.ReadOp; FromRope: AC.FromRopeOp; ToRope: AC.ToRopeOp; Write: AC.WriteOp; <> MakeSequence: AC.ListImbedOp; <> <> <> Select: AC.BinaryOp; <> First: AC.UnaryOp; <> Last: AC.UnaryOp; <> <<>> Length: AC.ElementRankOp; <> IsSubset: AC.BinaryPredicate; <> <<>> IsSubsequence: AC.BinaryPredicate; <> <> Equal: AC.BinaryPredicate; Prepend: AC.BinaryOp; <> Append: AC.BinaryOp; <> Insert: AC.TernaryOp; <> < Length[firstArg].>> <<>> Delete: AC.BinaryOp; <> < Length[firstArg].>> DeleteLast: AC.UnaryOp; <> Find: AC.BinaryOp; <> Concatenate: AC.BinaryOp; <> MapUnaryElementOp: AC.BinaryMixedOp; <> <<>> MapBinaryElementOp: AC.TernaryMixedOp; <> END.