HandrailsTranslator
===================

Qualified name: ``rsm.translator.HandrailsTranslator``

.. currentmodule:: rsm.translator

.. autoclass:: HandrailsTranslator
   :show-inheritance:
   :members:

   
   .. rubric:: Methods

   .. autosummary::
      :nosignatures:
      
      ~HandrailsTranslator.leave_step
      ~HandrailsTranslator.visit_abstract
      ~HandrailsTranslator.visit_bibliography
      ~HandrailsTranslator.visit_contents
      ~HandrailsTranslator.visit_manuscript
      ~HandrailsTranslator.visit_mathblock
      ~HandrailsTranslator.visit_proof
      ~HandrailsTranslator.visit_section
      ~HandrailsTranslator.visit_step
      ~HandrailsTranslator.visit_subproof
      ~HandrailsTranslator.visit_theorem

   
   .. rubric:: Attributes

   .. autosummary::
     
     ~HandrailsTranslator.svg