used_vars
=========

.. currentmodule:: proveit

.. autofunction:: used_vars