~/jendhub

def bx_comm

bend-osdev-gf@0.1.1.0 · PROOF.bend:19

import bend-osdev-gf@0.1.1.0/PROOF.bend as PROOF
import Base

19def bx_comm(+a: Bool, +b: Bool) -> {Bool.xor(a, b) == Bool.xor(b, a) : Bool}:
20  match a:
21    case True{}:
22      match b:
23        case True{}:
24          {==}
25        case False{}:
26          {==}
27    case False{}:
28      match b:
29        case True{}:
30          {==}
31        case False{}:
32          {==}

Uses (2)

Used by (1)