Passer au contenu principal
Type utilisé pour appeler une hypothèse sur un élément de n’importe quel type. Pour plus de détails, voir Hypothèses pour tous les types d’éléments.