<> <> <> <> DIRECTORY Complex USING [VEC]; 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.