def bool_xx2

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

import Base

8564def bool_xx2(a: Bool, b: Bool) -> {b == Bool.xor(a, Bool.xor(a, b)) : Bool}:
8565  match a b:
8566    case True{} True{}:
8567      {==}
8568    case True{} False{}:
8569      {==}
8570    case False{} True{}:
8571      {==}
8572    case False{} False{}:
8573      {==}