stp.And
=======

.. autofunction:: stp.And