Fonctions
La construction
fun x1 ...xn -> E
est équivalente à
function x1 -> ...function xn -> E
L'écriture let F x1 ...xn = E
est équivalente à
let F = fun x1 ...xn -> E
La forme où fun ou function est explicite permet de préciser son
environnement de définition :
let incremente_compteur = let compteur = ref(0) in
function n ->
begin
compteur := !compteur + n ;
!compteur
end ;;