ArgumentExtractionError
=======================

.. currentmodule:: proveit

.. autoexception:: ArgumentExtractionError