def false_true

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward_PROOF.bend:441

import Base

441def false_true(equal: {False{} == True{} : Bool}) -> Empty:
442  %Equal.sym(Bool, False{}, True{}, equal) : truth(_)
443  Unit{}