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.