Seq.mesa
Copyright Ó 1985, 1992 by Xerox Corporation. All rights reserved.
written by: Michael Plass
Last Edited by: Stone, November 26, 1984 4:40:58 pm PST
Doug Wyatt, September 5, 1985 1:03:56 pm PDT
DIRECTORY
Complex USING [VEC];
Seq: CEDAR DEFINITIONS = BEGIN
ComplexSequence: TYPE = REF ComplexSequenceRec;
ComplexSequenceRec: TYPE = RECORD[element: SEQUENCE length:NAT OF Complex.VEC];
RealSequence: TYPE = REF RealSequenceRec;
RealSequenceRec: TYPE = RECORD[element: SEQUENCE length:NAT OF REAL];
NatSequence: TYPE = REF NatSequenceRec;
NatSequenceRec: TYPE = RECORD[element: SEQUENCE length:NAT OF NAT];
BooleanSequence: TYPE = REF BooleanSequenceRec;
BooleanSequenceRec: TYPE = RECORD[SEQUENCE length: NAT OF BOOLEAN];
JointRec: TYPE = RECORD[index: NAT, forced: BOOLEAN];
JointSequence: TYPE = REF JointSequenceRec;
JointSequenceRec: TYPE = RECORD[element: SEQUENCE length:NAT OF JointRec];
END.