kdrag.datatype
==============

.. automodule:: kdrag.datatype

   
   
   .. rubric:: Module Attributes

   .. autosummary::
   
      rel
   
   

   
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:
   
      Enum
      InductiveRel
      NewType
      Struct
      accessor_lemmas
      accessor_num
      constructor_num
      datatype_call
      datatype_iter
      datatype_len
      datatype_match_
      datatype_replace
      distinct_lemmas
      inj_lemmas
      multipattern_match
      pattern_match
      recognizer_lemmas
   
   

   
   
   

   
   
   





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