InnerExprGenerator
==================

.. currentmodule:: proveit

.. autoclass:: InnerExprGenerator
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~InnerExprGenerator.skip_over_branch

   .. rubric:: Methods Documentation

   .. automethod:: skip_over_branch