kdrag.theories.logic.temporal.lift\_binop
=========================================

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

.. autofunction:: lift_binop