arithmetic/derived/BigIntegerVectorFmtLex.m3


generated by m3build

MODULE  BigIntegerVectorFmtLex = VectorFmtLex (BigIntegerFmtLex, BigIntegerSeq) END BigIntegerVectorFmtLex.