Il va falloir séparer ton fichier a.ml en 2 parties :
- un fichier a.mli qui contiendra toutes les définitions de tes types, à compiler avant de compiler b.ml
- en fait a.ml doit rester tel quel :]...