Déplacement du test du bon nombre d'argument des constructeurs (et de l'inductif si clause "in I ...") dans Constrintern, pour assurer notamment que les constructeurs et inductifs dans pattern (obtenu de rawconstr) ont les bonnes arités
Déplacement du test du bon nombre d'argument des constructeurs (et de
l'inductif si clause "in I ...") dans Constrintern, pour assurer
notamment que les constructeurs et inductifs dans pattern (obtenu de
rawconstr) ont les bonnes arités


git-svn-id: a49b465eaba45b67e2e1e4e0b2c256a71f59fecb@7957 85f007b7-540e-0410-9357-904b9bb8a0f7

SamB/coq