-- Seq.mesa
-- Michael Plass

DIRECTORY Complex;

Seq: 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];
END.