def wn.lt_eq

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

import Base

56def wn.lt_eq(e: {LT{} == EQ{} : Cmp}) -> Empty:
57  %Equal.sym(Cmp, LT{}, EQ{}, e) : wn.ebt(_)
58  Unit{}