aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/unionfind.ml
Commit message (Expand)AuthorAge
* An generic imperative union-find, used for deps of evars in Class_tacticsGravatar letouzey2011-02-11