def bx.rbool

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

import Base

1331def bx.rbool(a: Bool, b: Bool) -> {Bool.xor(Bool.xor(a, b), b) == a : Bool}:
1332  match a b:
1333    case False{} False{}:
1334      {==}
1335    case False{} True{}:
1336      {==}
1337    case True{} False{}:
1338      {==}
1339    case True{} True{}:
1340      {==}