... fonction¹

Ceci, pour éviter les problèmes d'ambiguité.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... longueur²

La fonction List.tl est predéfinie (dans le module List des listes) et renvoie une liste privée de son premier élément.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...éels³

Cela est vrai en mathématiques, mais dans les langages de programmation n'est pas vrai en général.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... savoir⁴

Nous considérons ici une version très simplifiée des abréviations qui sont réellement créés en Ocaml.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... super-classe⁵

Plus précisement, si c est la super-classe, les types des sous-classes sont des instances polymorphes de #c.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... n⁶

En réalité, dans cette pile, le nombre maximale d'éléments est n+1, le premier se trouve à l'indice 0, le dernier à n, et ind contient toujours l'indice du prochain élément qui sera inséré

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.