seal5.tools.inject\_patches
===========================

.. automodule:: seal5.tools.inject_patches

   
   .. rubric:: Functions

   .. autosummary::
   
      analyze_diff
      generate_patch
      main
      process_arguments