Logic
module Abstract_syntax : sig ... end
This modules implements the abstract syntax and the build function for the signatures
module Lambda : sig ... end
module TypeInference : sig ... end
module VarUnionFind : sig ... end
Modules with this module type should provide Union-Find algorithms and the indexed storage data structure. Note that we take the opportunity of implementing from scratch such algorithms to allow the find
function returns not only the index of the representative and the values it indexes, but also the storage data structure, so that the find
algorithm can modify it, in particular with path compression.