Documentation

Duper.Rules.IdentBoolFalseElim

Determines whether a literal has exactly the form false = true or true = false

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For

      Eliminate literals that are exactly of the form false = true or true = false. This is a special case of the boolFalseElim inference rule in which σ is the identity. This rule is included as a means of giving Bools special attention.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For