def un.bxor_comm

bend-osdev-u32@0.1.0.0 · PROOF.bend:1875

import Base

1875def un.bxor_comm(x: Bool, y: Bool) -> {Bool.xor(x, y) == Bool.xor(y, x) : Bool}:
1876  match x y:
1877    case True{} True{}:
1878      {==}
1879    case True{} False{}:
1880      {==}
1881    case False{} True{}:
1882      {==}
1883    case False{} False{}:
1884      {==}