Extraction des foncteurs
Les clones et l'extraction vers les foncteurs sont expérimentales. Pour les utilisateurs expert on pourrait essayer d'ajouter des exemples. On pourrait également réfléchir a ajouter des constructions dans les drivers pour simplifier l'extraction des modules (juste "module M va vers module N") et foncteurs (juste "c'est un foncteur avec ce mapping des arguments").
-
Ajouter des exemples d'utilisation -
Ajouter un printer de mli dans l'extraction OCaml -
Réflexion sur extension des drivers