def ab.gt_lt

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

import Base

51def ab.gt_lt(+e: {GT{} == LT{} : Cmp}) -> Empty:
52  %e : ab.is_gt(_)
53  Unit{}