def wn.ft

bend-osdev-word64@0.1.1.1 · PROOF_text.bend:56

import Base
import bend-osdev-word64@0.1.1.1/proof_value.bend as P

56def wn.ft(e: {False{} == True{} : Bool}) -> Empty:
57  P.wn.ft(e)