kdrag.printers.smtlib.smtlib\_datatypes
=======================================

.. currentmodule:: kdrag.printers.smtlib

.. autofunction:: smtlib_datatypes