diff --git a/tp/tp5.md b/tp/tp5.md index f46b218648e4e1e1e6ca32aa14a0811b532f1be5..2fde137dd58b247f8d02be5a36aff63a02a71ae1 100644 --- a/tp/tp5.md +++ b/tp/tp5.md @@ -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: