Package substitution
====================

.. toctree::
   :maxdepth: 2

   substitution/checked
   substitution/renaming
   substitution/unsafe

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