kdrag.smt.DeclareSort
=====================

.. currentmodule:: kdrag.smt

.. autofunction:: DeclareSort