MODULE BigIntegerFractionSeq = Sequence (BigIntegerFraction, BigIntegerFractionSeq, BigIntegerFractionSeqRep) END BigIntegerFractionSeq.