diff --git a/tp/tp5.md b/tp/tp5.md index 9266f07e3d455e154aba5934b771ddd5ebd97d6a..687ce9636cd015a22a70aa4c6e79ec2c7c952c11 100644 --- a/tp/tp5.md +++ b/tp/tp5.md @@ -1,4 +1,4 @@ -# TP5 +# TP5: Parcours génériques de structure et projets dune ## 1. Arbre n-aires: recodage @@ -171,7 +171,7 @@ On va maintenant créer dans le module `Usine` un type `configuration` qui sera Définir ce type dans `usine.ml`: ```ocaml -type configuration = (string -> option string) * (string -> string -> option int);; +type configuration = (string -> string option) * (string -> string -> int option);; ``` Dans `usine.mli` on va en revanche, on va masquer les détails de la définition et juste conserver le nom du type: @@ -184,7 +184,7 @@ Tel quel, on ne peut pas manipuler les valeurs de ce type à l'extérieur du mod Ajouter les fonctions suivantes, en les déclarant dans l'interface du module `Usine` -- `mk_configuration: (string -> option string) -> (string -> string -> int option) -> configuration` cette fonction va fabriquer une paire avec ses deux arguments. +- `mk_configuration: (string -> string option) -> (string -> string -> int option) -> configuration` cette fonction va fabriquer une paire avec ses deux arguments. - `get_jouet: configuration -> (string -> string option)` cette fonction va extraire le premier élément de la paire - `get_nb_jouets: configuration -> (string -> string -> int option)` cette fonction va extraire le deuxième élément de la paire