Module Domains.Term_based_sig

module type Domain_S = sig ... end

Signature for abstract domains whose "dimensions" or "variables" are variables of the constraints language.

module type DOMAIN_WITH_UNION = sig ... end

A superset of Domain_S that support adding relations (as labeled union-find unions, Lesbre et al PLDI'25) between variables (Constraints).