kdrag.tele
==========

.. automodule:: kdrag.tele

   
   
   

   
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:
   
      DeclareFunction
      Fin
      Id
      Pi
      TExists
      TForAll
      ann
      axiom_sig
      define
      has_type
      normalize
      open_binder
      prove_sig
      subsort_domain
   
   

   
   
   

   
   
   





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