def bx.rbool

bend-osdev-mode-core@0.1.0.0 · PROOF.bend:659

import Base

659def bx.rbool(a: Bool, b: Bool) -> {Bool.xor(Bool.xor(a, b), b) == a : Bool}:
660  match a b:
661    case False{} False{}:
662      {==}
663    case False{} True{}:
664      {==}
665    case True{} False{}:
666      {==}
667    case True{} True{}:
668      {==}