kdrag.theories.logic.temporal.Ints
==================================

.. currentmodule:: kdrag.theories.logic.temporal

.. autofunction:: Ints