def wn.ft

bend-osdev-word64@0.1.1.0 · PROOF_div.bend:58

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

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