Cet extrait se lit exactement comme la définition par récurrence.
Dans ce qui précède, <precode>rec</precode> signifie que la fonction est définie par récursivité, mécanisme qui correspond à la définition mathématique par récurrence ou par induction : les cas non-triviaux sont déterminés à partir des cas précédents, ou encore la fonction s'appelle elle-même. En OCaml, la récursivité est la forme de boucle la plus fréquente.
On pourrait aussi écrire le code suivant, toujours récursif :
