def bool_xx

bend-osdev-cipher-core@0.1.0.0 · PROOF.bend:12

import Base

12def bool_xx(a: Bool, b: Bool) -> {a == Bool.xor(Bool.xor(a, b), b) : Bool}:
13  match a b:
14    case True{} True{}:
15      {==}
16    case True{} False{}:
17      {==}
18    case False{} True{}:
19      {==}
20    case False{} False{}:
21      {==}