Skip to content
Snippets Groups Projects
Commit bada485d authored by COQUERY EMMANUEL's avatar COQUERY EMMANUEL
Browse files

Fix TP5

parent de5da92e
No related branches found
No related tags found
No related merge requests found
# 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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment