make `v is T and v or e` imply not-T for expression e#894

Merged

hishamhm merged 1 commit intomasterfrom and-or-inference

Jan 4, 2025

+39

Commits on Jan 3, 2025

make v is T and v or e imply not-T for expression e
hishamhm
committed