def un.ge_lt

bend-osdev-u32@0.1.0.0 · PROOF.bend:1498

import Base

1498def un.ge_lt(c: Cmp) -> {Cmp.is_ge(c) == Bool.not(Cmp.is_lt(c)) : Bool}:
1499  match c:
1500    case LT{}:
1501      {==}
1502    case EQ{}:
1503      {==}
1504    case GT{}:
1505      {==}