Module Inferno

module Generalization : sig ... end
module InfiniteArray : sig ... end
module Option : sig ... end
module SolverHi : sig ... end
module SolverLo : sig ... end
module SolverSig : sig ... end
module TRef : sig ... end
module TUnionFind : sig ... end
module Unifier : sig ... end
module UnifierSig : sig ... end
module UnionFind : sig ... end

This module implements a simple and efficient union/find algorithm. See Robert E. Tarjan, ``Efficiency of a Good But Not Linear Set Union Algorithm'', JACM 22(2), 1975.

module Utils : sig ... end