def ab.lt_eq
import bend-osdev-u32@0.1.0.0/PROOF_order.bend as PROOFOrderimport Base
55def ab.lt_eq(+e: {LT{} == EQ{} : Cmp}) -> Empty:
56 %e : ab.is_lt(_)
57 Unit{}
import bend-osdev-u32@0.1.0.0/PROOF_order.bend as PROOFOrderimport Base
55def ab.lt_eq(+e: {LT{} == EQ{} : Cmp}) -> Empty:
56 %e : ab.is_lt(_)
57 Unit{}