def wn.gt_lt

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

import Base

45def wn.gt_lt(e: {GT{} == LT{} : Cmp}) -> Empty:
46  %Equal.sym(Cmp, GT{}, LT{}, e) : wn.cbt(_)
47  Unit{}