Module Tools.Descriptor

module Descriptor: UnionFind.Desc

type descriptor

val default : descriptor

type accumulator

val union : descriptor ->
       descriptor ->
       accumulator ->
       descriptor * accumulator

default should be a neutral element for union. union should be commutative and associative.