~/jendhub

def wn.ft

bend-osdev-word64@0.1.1.0 · PROOF_mul.bend:54

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

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

Uses (3)

Used by (0)

No other definition uses this definition.