kdrag.printers.tptp.mangle\_decl
================================

.. currentmodule:: kdrag.printers.tptp

.. autofunction:: mangle_decl