def un.gt_eq

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

import Base

38def un.gt_eq(e: {GT{} == EQ{} : Cmp}) -> Empty:
39  %Equal.sym(Cmp, GT{}, EQ{}, e) : un.cbt(_)
40  Unit{}