Skip to main content

Any.>=

>=that

Group: Operators
Aliases: greater than or equal

Documentation​

Checks if self is greater than or equal to that.

Arguments​

  • that: The value to compare self against.

Examples​

Checking if the variable a is greater than or equal to 147.​

      from Standard.Base import all

      example_greater_eq =
          a = 6 * 21
          a >= 147

Remarks​

Implementing Greater Than or Equal​

While it is often possible to implement a more efficient version of this operation for complex types, care must be taken to ensure that your implementation is semantically equivalent to the disjunction of the greater than and equal to operations.