---

1

Il n'est pas nécessaire que les types soient égaux, il suffit qu'ils soient compatibles et que celui de l'interface ne soit pas plus général que celui de l'implantation.

2

Les fichiers nom.ml et Nom.ml produiront tous deux un module de même nom.