kdrag.smt.Exists
================

.. currentmodule:: kdrag.smt

.. autofunction:: Exists