def ns.tf

bend-osdev-word64@0.1.1.0 · proof_shift.bend:37

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

37def ns.tf(e: {True{} == False{} : Bool}) -> Empty:
38  %e : P.wn.bt(_)
39  Unit{}