preguntar acerca de union-find

pour un algorithme automata, j'ai besoin d'une structure de données Union-Find rapide dans un langage fonctionnel. Comme je dois prouver formellement l'exactitude de la structure des données, je préférerais une structure simple. ce que j'essaie de f …