def false_true

qasim-bend-kit@0.1.0.2 · proof/JSON_NumberLexProof.bend:7

import Base
import qasim-bend-kit@0.1.0.2/proof/JSON_PrimitiveProof.bend as P

7def false_true(e: {False{} == True{} : Bool}) -> Empty:
8    %e : P.false_type(_)
9    Unit{}