Pourquoi le mot-clef 'rec' existe-t-il en OCaml ? (fr)

Bonjour à tous, J'étudie en ce moment Ocaml et je me pose la question suivante : pourquoi les développeurs de Ocaml ont décidé de spécifier la récursion d'une fonction avec le mot-clé 'rec' ? Les types ne subissent pas cette contrainte par exemple. S'agit-il d'une décision concernant le design de Ocaml ?