def bool_xx

bend-osdev-legacy-ciphers@0.1.0.0 · PROOF.bend:27

import Base

27def bool_xx(a: Bool, b: Bool) -> {a == Bool.xor(Bool.xor(a, b), b) : Bool}:
28  match a b:
29    case True{} True{}:
30      {==}
31    case True{} False{}:
32      {==}
33    case False{} True{}:
34      {==}
35    case False{} False{}:
36      {==}