kdrag.theories.logic.temporal.NEq ================================= .. currentmodule:: kdrag.theories.logic.temporal .. autofunction:: NEq