20Fermer22
PolluxLe 10/02/2004 à 23:40
Aucun opérateur n'a plusieurs significations.

prefix <;;
- : 'a -> 'a -> bool = <fun>

Ca n'a qu'une seule signification happy