Typage CAML LIGHT (vraiment besoin d'aide!!)

[psika]

Bonjour!
Pouvez-vous m'aider pour cet exercice d'informatique car je suis totalement perdu!! Il est basé sur le logiciel CAML LIGHT (et je ne comprends vraiment pas!)!
Merci bcp!

Let rec hase tes rixe=
Let gros [bon ; homme] =
If bon < homme
Then bon ^ homme (opérateur de concaténation des chai,es de caractère)
Else homme ^bon

In
If tes=baie
Then gros ( haubert rixe )
Else hase (int_of_float rixe) (rixe /. 20.07)



Selon Pierre, il faut copier d’autres choses avant la déclaration de cette fonction bien hase. Mais il prétend malgré tout que ce n’est pas un obstacle à la vérification de la signature (ou typage) de cette fonction.

1) confirmer cette affirmation en réalisant explicitement le calcul de son type.
2) qu’en déduisez-vous sur la signature des 2 identificateurs globaux qui manquent dans ce devoir ?
3) Pierre prétend que c’est lourd de déclarer ainsi la fonction locale et qu’il aurait mieux valu lui attribuer un autre typage, quitte à modifier en premier chef le haubert. Pouvez-vous préciser à quoi il pense ?