Module BasicSetEquations (.ml)

module BasicSetEquations: sig .. end

This module provides a solver for equations involving set constants, variables, and disjoint sums (i.e. unions) thereof.

module type SetType = sig .. end

module Make: 
functor (Set : SetType) -> sig .. end