kdrag.rewrite
=============

.. automodule:: kdrag.rewrite

   
   
   

   
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:
   
      apply
      backward_rule
      beta
      decl_index
      def_eq
      forward_rule
      full_simp
      kbo
      lpo
      rewrite
      rewrite1
      rewrite1_rule
      rewrite_of_expr
      rewrite_once
      rewrite_slow
      rule_of_expr
      simp
      simp1
      simp2
      unfold
   
   

   
   
   .. rubric:: Classes

   .. autosummary::
   
      Order
      RewriteRule
      Rule
   
   

   
   
   .. rubric:: Exceptions

   .. autosummary::
   
      RewriteRuleException
   
   





.. literalinclude:: ../../kdrag/rewrite.py
   :language: python