def uq.ft

bend-osdev-algo@0.1.0.0 · proof_u32.bend:46

import Base

46def uq.ft(e: {False{} == True{} : Bool}) -> Empty:
47  %Equal.sym(Bool, False{}, True{}, e) : uq.bt(_)
48  Unit{}