consider adding `Implies` to `logicalbinop` in ASR

rebcabin / masr

Meta ASR: replacement for aging ASDL

MIT License

4 stars 0 forks source link

consider adding `Implies` to `logicalbinop` in ASR #24

Open rebcabin opened 1 year ago

rebcabin commented 1 year ago

Of course, (Implies A B) is equal to (Or (not A) B) or to (Not (And A (Not B))) (by de Morgan's), but it might be common enough to have its own logicalbinop, especially in the face of Eqv and NEqv, each of which are at least asequally complex and already exist in ASR.