Compter les diviseurs

let nb_diviseurs n =
  let c = ref 0 in
  for d = 1 to n do
    if n mod d = 0 then c := !c + 1
  done;
  !c

On essaie chaque d de 1 à n et l'on incrémente c quand d divise n. Le if sans else est légitime : sa branche est de type unit. (On pourrait s'arrêter à $\sqrt{n}$ pour un gain de coût.)