def wn.ge_lt

bend-osdev-word64@0.1.1.0 · PROOF_div.bend:64

import Base

64def wn.ge_lt(c: Cmp) -> {Cmp.is_ge(c) == Bool.not(Cmp.is_lt(c)) : Bool}:
65  match c:
66    case LT{}:
67      {==}
68    case EQ{}:
69      {==}
70    case GT{}:
71      {==}