~/jendhub

def bool_xx

bend-osdev-aead@0.1.0.0 · PROOF.bend:38

import bend-osdev-aead@0.1.0.0/PROOF.bend as PROOF
import Base

38def bool_xx(a: Bool, b: Bool) -> {a == Bool.xor(Bool.xor(a, b), b) : Bool}:
39  match a b:
40    case True{} True{}:
41      {==}
42    case True{} False{}:
43      {==}
44    case False{} True{}:
45      {==}
46    case False{} False{}:
47      {==}

Uses (2)

Used by (1)