InstantiationFailure
====================

.. currentmodule:: proveit

.. autoexception:: InstantiationFailure