def uq.tf
import bend-osdev-algo@0.1.0.0/proof_u32.bend as ProofU32import Base
50def uq.tf(e: {True{} == False{} : Bool}) -> Empty:
51 %e : uq.bt(_)
52 Unit{}
Uses (4)
Used by (0)
No other definition uses this definition.
import bend-osdev-algo@0.1.0.0/proof_u32.bend as ProofU32import Base
50def uq.tf(e: {True{} == False{} : Bool}) -> Empty:
51 %e : uq.bt(_)
52 Unit{}
No other definition uses this definition.