A condition is an expression of type yes_no that determines if a given condition (also called a requirement) is fulfilled or not fulfilled.

If the expression evaluates to yes then the condition is fulfilled. If it evaluates to no the condition is not fulfilled.

The first syntax is used to express the condition through an expression of type yes_no

The second syntax can alternatively be used whenever two values are compared (e.g. x >= y). The difference is that the error message produced by the second syntax contains the left and right side values of the comparison. See Example 8.25, “check script example” for an example.

see Example 8.25, “check script example”