def lt_ne_gt

lawful-words@0.1.0.0 · proof_bytes.bend:1004

import Base

1004def lt_ne_gt(e: {LT{} == GT{} : Cmp}) -> Empty:
1005  %e : Cmp.disc_gt(_)
1006  Unit{}