Proposition
===========

Qualified name: ``rsm.nodes.Proposition``

.. currentmodule:: rsm.nodes

.. autoclass:: Proposition
   :show-inheritance:
   :members:

   
   .. rubric:: Methods

   .. autosummary::
      :nosignatures:
      

   
   .. rubric:: Attributes

   .. autosummary::
     
     ~Proposition.label
     ~Proposition.types
     ~Proposition.number
     ~Proposition.nonum
     ~Proposition.reftext_template