~/jendhub

def h.cnc

bend-kit-collections@0.1.4.1 · PROOF.bend:2664

import bend-kit-collections@0.1.4.1/PROOF.bend as PROOF
import Base
import bend-mathlib@0.7.4.0/bool.bend as MBool

2664def h.cnc(c: Bool, e: {c == Bool.not(c) : Bool}) -> Empty:
2665  match c:
2666    case True{}:
2667      MBool.false_ne_true()(Equal.sym(Bool, True{}, False{}, e))
2668    case False{}:
2669      MBool.false_ne_true()(e)

Uses (5)

Used by (1)