def contradiction

bendtorch-core@0.1.0.0 · src/shape/nat_proofs.bend:6

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

6def contradiction(-value: Bool, yes: {True{} == value : Bool}, no: {False{} == value : Bool}) -> Empty:
7  Shape.clash(Equal.trans(Bool, True{}, value, False{}, yes, Equal.sym(Bool, False{}, value, no)))