<<>> <> <> <> DIRECTORY RopeParts; RopeSequencePrivate: CEDAR DEFINITIONS = { RopeSeq: TYPE = REF RopeSeqPrivate; RopeSeqPrivate: TYPE ~ RECORD [elts: SEQUENCE len: NAT OF RopeParts.RopePart]; }.