def bxor_self

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/aes/gf.bend:51

import Base

51def bxor_self(+a: Bool) -> {Bool.xor(a, a) == False{} : Bool}:
52  match a:
53    case True{}:
54      {==}
55    case False{}:
56      {==}