def cmp_lt_gt

bend-collections-laws-math@1.0.0.0 · proofs/lib/logic.bend:72

import Base

72def cmp_lt_gt(e: {LT{} == GT{} : Cmp}) -> Empty:
73  %e : truth(Cmp.is_lt(_))
74  Unit{}