kdrag.contrib.hoare.wps
=======================

.. currentmodule:: kdrag.contrib.hoare

.. autofunction:: wps