(*generated by m3build*) MODULE IntSeq = Sequence (Integer, IntSeq, IntSeqRep) END IntSeq.