kdrag.theories.seq
==================

.. automodule:: kdrag.theories.seq

   
   
   

   
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:
   
      Seq
      Unit
      induct
      induct_list
      seq
   
   

   
   
   

   
   
   





.. literalinclude:: ../../kdrag/theories/seq.py
   :language: python