MODULE TextIntPairSeq = Sequence(TextIntPair,TextIntPairSeq,TextIntPairSeqRep) END TextIntPairSeq.