HomeIsabelle/Phabricator

Change boolean "not" to use a bit test rather than comparison.

Description

Change boolean "not" to use a bit test rather than comparison.

Details

Provenance
dcjmAuthored on Jan 21 2022, 8:10 PM
Parents
rPOLYML0912d2c6a206: Use conditional-set to create boolean results.
Branches
Unknown
Tags
Unknown