def bx.bool

bend-osdev-cipher-modes@0.1.0.0 · PROOF.bend:30

import Base

30def bx.bool(a: Bool, b: Bool) -> {Bool.xor(a, Bool.xor(a, b)) == b : Bool}:
31  match a b:
32    case False{} False{}:
33      {==}
34    case False{} True{}:
35      {==}
36    case True{} False{}:
37      {==}
38    case True{} True{}:
39      {==}