def cmp_lt_eq

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/logic.bend:68

import Base

68def cmp_lt_eq(e: {LT{} == EQ{} : Cmp}) -> Empty:
69  %e : truth(Cmp.is_lt(_))
70  Unit{}