~/jendhub

def wn.tf

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

import bend-osdev-word64@0.1.1.0/PROOF_mul.bend as PROOFMul
import Base
import bend-osdev-word64@0.1.1.0/proof_shift.bend as PS

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

Uses (3)

Used by (0)

No other definition uses this definition.