kdrag.modal.PImplies
====================

.. currentmodule:: kdrag.modal

.. autofunction:: PImplies