~/jendhub

def wn.tf

bend-osdev-word64@0.1.1.0 · PROOF_text.bend:59

import bend-osdev-word64@0.1.1.0/PROOF_text.bend as PROOFText
import Base
import bend-osdev-word64@0.1.1.0/proof_shift.bend as PS

59def wn.tf(e: {True{} == False{} : Bool}) -> Empty:
60  PS.ns.tf(e)

Uses (3)

Used by (0)

No other definition uses this definition.