def bx.bool

bend-osdev-cbc@0.1.0.0 · PROOF.bend:54

import Base

54def bx.bool(a: Bool, b: Bool) -> {Bool.xor(a, Bool.xor(a, b)) == b : Bool}:
55  match a b:
56    case False{} False{}:
57      {==}
58    case False{} True{}:
59      {==}
60    case True{} False{}:
61      {==}
62    case True{} True{}:
63      {==}