def bt_absurd
import bend-osdev-gf@0.1.1.0/PROOF.bend as PROOFimport Base
1785def bt_absurd(+e: {True{} == False{} : Bool}) -> Empty:
1786 %e : bdisc(_)
1787 Unit{}
Uses (4)
Used by (0)
No other definition uses this definition.
import bend-osdev-gf@0.1.1.0/PROOF.bend as PROOFimport Base
1785def bt_absurd(+e: {True{} == False{} : Bool}) -> Empty:
1786 %e : bdisc(_)
1787 Unit{}
No other definition uses this definition.