Module renaming
===============

.. toctree::
   :maxdepth: 2

.. automodule:: lambda_calculus.visitors.substitution.renaming
    :members: