Le fichier mon_true.ml contient seulement:
      
exit 0;;
En fait, on pourrait simplement écrire un fichier vide, car le compilateur ajoute automatiquement un appel à exit 0 à la fin du programme qui sera donc exécuté si un autre appel à exit n'est défini pas effectué par l'utilisateur. Le fichier mon_false.ml contient:
      
exit 1;;