def ab.gt_eq

bend-osdev-u32@0.1.0.0 · PROOF_order.bend:59

import Base

59def ab.gt_eq(+e: {GT{} == EQ{} : Cmp}) -> Empty:
60  %e : ab.is_gt(_)
61  Unit{}