def bx_self

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

import Base

72def bx_self(+a: Bool) -> {Bool.xor(a, a) == False{} : Bool}:
73  match a:
74    case True{}:
75      {==}
76    case False{}:
77      {==}

Uses (2)

Bool
Bool.xor

Used by (1)

bend-osdev-gf@0.1.1.0/PROOF:rx_self