def true_false

bendtorch-core@0.1.0.0 · src/autograd/backward_PROOF.bend:12

import Base

12def true_false(equal: {True{} == False{} : Bool}) -> Empty:
13  %equal : truth(_)
14  Unit{}