Abstract Categorial Grammar development toolkit
Library acgtkLib.logic
Module Logic . VarUnionFind

Modules with this module type should provide an indexed (by int indexes) storage data structure for 'a type values and access and update functions.

module UF (Value : sig ... end) : sig ... end

This module implements a UnionFind data structure. The S parameter is used to try different implementations of indexed data structure, in particular eventually persistent arrays as described in "A Persistent Union-Find Data Structure" (Sylvain Conchon and Jean-Chrisophe Filliâtre