def bool_xx2

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

import Base

218def bool_xx2(a: Bool, b: Bool) -> {b == Bool.xor(a, Bool.xor(a, b)) : Bool}:
219  match a b:
220    case True{} True{}:
221      {==}
222    case True{} False{}:
223      {==}
224    case False{} True{}:
225      {==}
226    case False{} False{}:
227      {==}