sbool greaterOrEq(O a, O b) {
  ret cmp(a, b) >= 0;
}

sbool greaterOrEq(int a, int b) { ret a >= b; }
sbool greaterOrEq(double a, double b) { ret a >= b; }