def un.bor_f

bend-osdev-u32@0.1.0.0 · PROOF.bend:1922

import Base

1922def un.bor_f(x: Bool) -> {Bool.or(x, False{}) == x : Bool}:
1923  match x:
1924    case True{}:
1925      {==}
1926    case False{}:
1927      {==}