RopeSequencePrivate.mesa
Copyright Ó 1990 by Xerox Corporation. All rights reserved.
Last tweaked by Mike Spreitzer on October 4, 1990 11:06:25 am PDT
RopeSequencePrivate:
CEDAR
DEFINITIONS = {
RopeSeq: TYPE = REF RopeSeqPrivate;
RopeSeqPrivate: TYPE ~ RECORD [elts: SEQUENCE len: NAT OF RopeParts.RopePart];
}.