As an extension to Standard Pascal, Irie Pascal supports the and_then operator, which takes two operands of boolean type and performs boolean AND. The result of the operation is of boolean type and is equal to true of both operands are true, and false if either operand is false. Short circuit evaluation is always used by the and_then operator (i.e. The left operand is evaluated first and if it is false then the right operand is not evaluated because the result of the operation must be false).
false and_then false results in false false and_then true results in false true and_then false results in false true and_then true results in true
The differences between the and_then operator and the and operator are: