DimensionVariableSubstitution
=============================

.. currentmodule:: penzai.core.shapecheck

.. autoclass:: DimensionVariableSubstitution
  :members:
  :special-members:
  :show-inheritance:


  
  
    
    
    

  

  
  
  
  
  
  
    
    
    
    
    
    

  
  .. rubric:: Methods
  .. autosummary::
  
    
    ~DimensionVariableSubstitution.__init__
    
    
    ~DimensionVariableSubstitution.is_empty
    
  

  
  .. rubric:: Attributes
  .. autosummary::
  
    ~DimensionVariableSubstitution.size_variables
    ~DimensionVariableSubstitution.sequence_variables
    ~DimensionVariableSubstitution.mapping_variables