Quant à la réponse :

if cond then value;;
est un sucre syntaxique pour :

if cond then value else ();;

En effet, dans un langage fonctionnel, que la condition soit évaluée à true ou à false,...