Pour chaque type il y a une règle élémentaire de typage.
Pour la flèche :
(f : 'a->'b) & (x : 'a) <=> (f x : 'b)
Pour l'étoile :
(x : 'a) & (y : 'b) <=> (x,y : 'a * 'b)
En appliquant...
Pour chaque type il y a une règle élémentaire de typage.
Pour la flèche :
(f : 'a->'b) & (x : 'a) <=> (f x : 'b)
Pour l'étoile :
(x : 'a) & (y : 'b) <=> (x,y : 'a * 'b)
En appliquant...
Vous avez un bloqueur de publicités installé.
Le Club Developpez.com n'affiche que des publicités IT, discrètes et non intrusives.
Afin que nous puissions continuer à vous fournir gratuitement du contenu de qualité, merci de nous soutenir en désactivant votre bloqueur de publicités sur Developpez.com.