pub fn ge(a: impl Operand, b: impl Operand) -> Result<Expr>
The boolean a >= b (C++ greater_equal, prim._OpGE).
a >= b
greater_equal
prim._OpGE