def wn.ge_lt

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

import Base

60def wn.ge_lt(c: Cmp) -> {Cmp.is_ge(c) == Bool.not(Cmp.is_lt(c)) : Bool}:
61  match c:
62    case LT{}:
63      {==}
64    case EQ{}:
65      {==}
66    case GT{}:
67      {==}