This module offers a purely functional implementation of Tarjan's data structure for solving the union-find problem.

Automates

Expressions Régulières

Monoides