Seq.mesa

written by: Michael Plass

Last Edited by: Stone, November 26, 1984 4:40:58 pm PST

DIRECTORY Complex;

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.