def ud.bool_clash

bend-osdev-u32@0.1.0.0 · PROOF_div.bend:43

import Base

43def ud.bool_clash(h: {False{} == True{} : Bool}) -> Empty:
44  %Equal.sym(Bool, False{}, True{}, h) : ud.bool_disc(_)
45  Unit{}