Module checked
==============

.. toctree::
   :maxdepth: 2

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