def aes_false_true

qasim-bend-kit@0.1.0.2 · proof/AES_EnvelopeProof.bend:533

import Base

533def aes_false_true(e: {False{} == True{} : Bool}) -> Empty:
534    %e : aes_false_type(_)
535    Unit{}