j
k
j a
j l
En soit, j'ai une référence définie comme suit dans le fichier typer.ml : elab_check = ref false
Je te recommande de mettre cette variable là où elle est utilisée: dans `elab.ml`.
Stefan
Retour au fil de discussion
Retour à la liste
