kdrag.solvers.kb.string.deduce
==============================

.. currentmodule:: kdrag.solvers.kb.string

.. autofunction:: deduce