def wn.ft

bend-osdev-word64@0.1.1.0 · proof_value.bend:30

import Base

30def wn.ft(e: {False{} == True{} : Bool}) -> Empty:
31  %Equal.sym(Bool, False{}, True{}, e) : wn.bt(_)
32  Unit{}