kdrag.parsers.tptp.test
=======================

.. currentmodule:: kdrag.parsers.tptp

.. autofunction:: test