seal5.tools.m2isar
==================

.. automodule:: seal5.tools.m2isar