def bool_xx

bend-osdev-crypto@0.1.0.0 · PROOF.bend:101

import Base

101def bool_xx(a: Bool, b: Bool) -> {a == Bool.xor(Bool.xor(a, b), b) : Bool}:
102  match a b:
103    case True{} True{}:
104      {==}
105    case True{} False{}:
106      {==}
107    case False{} True{}:
108      {==}
109    case False{} False{}:
110      {==}