def un.lt_eq

bend-osdev-u32@0.1.0.0 · PROOF.bend:34

import Base

34def un.lt_eq(e: {LT{} == EQ{} : Cmp}) -> Empty:
35  %Equal.sym(Cmp, LT{}, EQ{}, e) : un.cbt(_)
36  Unit{}