def false_true

qasim-bend-kit@0.1.0.2 · proof/JSON_PrimitiveProof.bend:15

import Base

15def false_true(e: {False{} == True{} : Bool}) -> Empty:
16    %e : false_type(_)
17    Unit{}