nkdsl.ir
========

.. automodule:: nkdsl.ir

   
   .. rubric:: Functions

   .. autosummary::
   
      coerce_amplitude_expr
      coerce_predicate_expr
      validate_symbolic_ir
   
   .. rubric:: Classes

   .. autosummary::
   
      AmplitudeExpr
      EmissionSpec
      KBodyIteratorSpec
      PredicateExpr
      SymbolicIRTerm
      SymbolicOperatorIR
      UpdateOp
      UpdateProgram