Dans le même genre, dans !21 on avait aussi noté que tevar_ était bof, il faudrait ajouter une construction tevar option dans l'AST si on veut autoriser _ mais aucun autre pattern.
Dans le même genre, dans [!21](https://gitlab.inria.fr/fpottier/inferno/-/merge_requests/21) on avait aussi noté que `tevar_` était bof, il faudrait ajouter une construction `tevar option` dans l'AST si on veut autoriser `_` mais aucun autre pattern.
Dans le même genre, dans !21 on avait aussi noté que
tevar_
était bof, il faudrait ajouter une constructiontevar option
dans l'AST si on veut autoriser_
mais aucun autre pattern.Olivier a fait les constructeurs sans arguments ( https://gitlab.inria.fr/fpottier/inferno/-/merge_requests/24 ).
Constructeur sans arguments et variables wildcardto Variables wildcard 2 years ago