def bx_zr

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

import Base

65def bx_zr(+a: Bool) -> {Bool.xor(a, False{}) == a : Bool}:
66  match a:
67    case True{}:
68      {==}
69    case False{}:
70      {==}

Uses (2)

Bool
Bool.xor

Used by (1)

bend-osdev-gf@0.1.1.0/PROOF:rx_zr