MODULE BigIntegerMatrixFmtLex = MatrixFmtLex (BigIntegerFmtLex, BigIntegerVector, BigIntegerVectorFmtLex, BigIntegerMatrix) END BigIntegerMatrixFmtLex.