ExprRange
=========

.. currentmodule:: proveit

.. autoclass:: ExprRange
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~ExprRange.end_indices
      ~ExprRange.first
      ~ExprRange.formatted
      ~ExprRange.get_instance
      ~ExprRange.innermost_body
      ~ExprRange.last
      ~ExprRange.latex
      ~ExprRange.literal_int_extent
      ~ExprRange.mapped_range
      ~ExprRange.nested_range_depth
      ~ExprRange.parameters
      ~ExprRange.partition
      ~ExprRange.partitioned
      ~ExprRange.remake_arguments
      ~ExprRange.remake_with_style_calls
      ~ExprRange.shift_equivalence
      ~ExprRange.start_indices
      ~ExprRange.string
      ~ExprRange.style_options
      ~ExprRange.with_default_parameterization_style
      ~ExprRange.with_explicit_parameterization
      ~ExprRange.with_implicit_parameterization

   .. rubric:: Methods Documentation

   .. automethod:: end_indices
   .. automethod:: first
   .. automethod:: formatted
   .. automethod:: get_instance
   .. automethod:: innermost_body
   .. automethod:: last
   .. automethod:: latex
   .. automethod:: literal_int_extent
   .. automethod:: mapped_range
   .. automethod:: nested_range_depth
   .. automethod:: parameters
   .. automethod:: partition
   .. automethod:: partitioned
   .. automethod:: remake_arguments
   .. automethod:: remake_with_style_calls
   .. automethod:: shift_equivalence
   .. automethod:: start_indices
   .. automethod:: string
   .. automethod:: style_options
   .. automethod:: with_default_parameterization_style
   .. automethod:: with_explicit_parameterization
   .. automethod:: with_implicit_parameterization