kdrag.smt.expr\_kind
====================

.. currentmodule:: kdrag.smt

.. autofunction:: expr_kind