def wn.eq_lt

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

import Base

41def wn.eq_lt(e: {EQ{} == LT{} : Cmp}) -> Empty:
42  %Equal.sym(Cmp, EQ{}, LT{}, e) : wn.cbt(_)
43  Unit{}