kdrag.printers.smtlib.funcdecl\_smtlib
======================================

.. currentmodule:: kdrag.printers.smtlib

.. autofunction:: funcdecl_smtlib