def ab.eq_lt
import bend-osdev-u32@0.1.0.0/PROOF_order.bend as PROOFOrderimport Base
47def ab.eq_lt(+e: {EQ{} == LT{} : Cmp}) -> Empty:
48 %e : ab.is_eq(_)
49 Unit{}
import bend-osdev-u32@0.1.0.0/PROOF_order.bend as PROOFOrderimport Base
47def ab.eq_lt(+e: {EQ{} == LT{} : Cmp}) -> Empty:
48 %e : ab.is_eq(_)
49 Unit{}