def wd.bool_flip

bend-osdev-u32@0.1.0.0 · PROOF_order.bend:204

import Base

204def wd.bool_flip(x: Bool, y: Bool) -> {Bool.cmp(y, x) == cm.flip(Bool.cmp(x, y)) : Cmp}:
205  match x y:
206    case False{} False{}:
207      {==}
208    case False{} True{}:
209      {==}
210    case True{} False{}:
211      {==}
212    case True{} True{}:
213      {==}