arithmetic/derived/BigIntegerFractionVectorFmtLex.m3


generated by m3build

MODULE  BigIntegerFractionVectorFmtLex = VectorFmtLex (BigIntegerFractionFmtLex, BigIntegerFractionSeq) END BigIntegerFractionVectorFmtLex.