seal5.backends.report.times.writer
==================================

.. automodule:: seal5.backends.report.times.writer

   
   .. rubric:: Functions

   .. autosummary::
   
      main