stp.Implies
===========

.. autofunction:: stp.Implies