def clash_true

bendtorch-core@0.1.0.0 · src/storage/arith.bend:430

import Base

430def clash_true(equal: {True{} == False{} : Bool}) -> Empty:
431  %equal : truth(_)
432  Unit{}