Literal
=======

.. currentmodule:: proveit

.. autoclass:: Literal
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Literal.instances

   .. rubric:: Methods Summary

   .. autosummary::

      ~Literal.as_variable
      ~Literal.instance
      ~Literal.remake_arguments

   .. rubric:: Attributes Documentation

   .. autoattribute:: instances

   .. rubric:: Methods Documentation

   .. automethod:: as_variable
   .. automethod:: instance
   .. automethod:: remake_arguments