Skip to content

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

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

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

Annotations

1 warning and 1 notice

Test (5.4, ubuntu-latest)

succeeded Jan 3, 2025 in 21s