nkdsl.core.sum
==============

.. automodule:: nkdsl.core.sum

   
   .. rubric:: Classes

   .. autosummary::
   
      AbstractSymbolicOperator
      Any
      DiscreteHilbert
      Sequence
      SymbolicOperatorIR
      SymbolicOperatorSum