Module Domains.Term_based

module Assert_false : sig ... end

module Nonrelational : sig ... end

module Product : sig ... end

module Propagation : sig ... end

module Union_find : sig ... end

These functors are placed above a union-find aware non-relational domain (i.e. Nonrelational.MakeUF). They create union between terms when certain operations are performed (for instance Term_based_sig.Domain_S.Binary_Forward.biadd) with one constant argument.