kdrag.solvers.kb.multiset.rewrite
=================================

.. currentmodule:: kdrag.solvers.kb.multiset

.. autofunction:: rewrite