class="class"></a><a href="FineDeducer.html" title="A refined deducer, i.e., evolution of terms and derivatives of evolution.">FineDeducer</a></li><li class="current-entities indented2"><a href="FineDeducerStep$.html" title="" class="object"></a> <a href="FineDeducerStep.html" title="Monad based step for deducer, to be used, for example, with Monix Task" class="class"></a><a href="FineDeducerStep.html" title="Monad based step for deducer, to be used, for example, with Monix Task">FineDeducerStep</a></li><li