4Caml procède pour ces expressions booléennes à une évaluation paresseuse, en n’évaluant que ceux des termes qui lui sont nécessaires pour décider de la valeur de l’expression, et ceci de gauche à droite. Ainsi, dans une expression p1 & p2 & & pn, il évalue p1, puis p2 et ainsi de suite ; si l’une au moins de ces évaluations donne le résultat false, Caml sait que le résultat sera false et donc il renvoie le résultat false sans évaluer les pi suivants. Il en va de manière similaire pour une expression q1 or q2 or or qn dès que l’un des qi vaut true : Caml renvoie le résultat true sans évaluer les suivants.