def lt_ne_eq

lawful-words@0.1.0.0 · proof_word.bend:245

import Base

245def lt_ne_eq(e: {LT{} == EQ{} : Cmp}) -> Empty:
246  %e : Cmp.disc_eq(_)
247  Unit{}