Précédent Index Suivant


Types récursifs II 


#deriv "x" mon_exp;;
- : exp = P (C 1, P (C 0, C 0))
Attention : Syntaxe correcte ¬Þ sémantique définie 
#type sans_val = C of sans_val * sans_val ;; 
Le type sans_val est défini.
Précédent Index Suivant