def wn.gt_eq

bend-osdev-word64@0.1.1.0 · proof_value.bend:60

import Base

60def wn.gt_eq(e: {GT{} == EQ{} : Cmp}) -> Empty:
61  %Equal.sym(Cmp, GT{}, EQ{}, e) : wn.ebt(_)
62  Unit{}