def clash

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

import Base

11def clash(equal: {False{} == True{} : Bool}) -> Empty:
12  %equal : falsity(_)
13  Unit{}