kdrag.theories.logic.nominal.test
=================================

.. currentmodule:: kdrag.theories.logic.nominal

.. autofunction:: test