def false_true

qasim-bend-kit@0.1.0.2 · proof/AES_StringEqProof.bend:9

import Base

9def false_true(e: {False{} == True{} : Bool}) -> Empty:
10    %e : false_type(_)
11    Unit{}