def wn.tf

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

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

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