retex v0.1.6 Retex.Why View Source

Why a rule was activated?

Use this module passing the conclusion of a rule and it will tell you why it was activated

Link to this section Summary

Link to this section Functions

Link to this function

explain(retex, conclusion)

View Source