def wn.ge_lt

bend-osdev-word64@0.1.1.0 · PROOF_text.bend:62

import Base

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