MODULE ExtendedComplexSeq = Sequence (ExtendedComplex, ExtendedComplexSeq, ExtendedComplexSeqRep) END ExtendedComplexSeq.