up previous next
boolean "and" operator
A and B (where A, B: BOOL, return BOOL)

This operator represents the logical conjunction of
A
and
B
.
CoCoA first evaluates
A
; if that gives
false
then the result
is
false
, and
B
is not evaluated. Otherwise if
A
gives
true
then
B
is evaluated, and its value is the final result.
/**/ A := 1;
/**/ A >= 0 and FloorSqrt(A) < 10; > calls FloorSqrt only if A >= 0
false
