Domains.Constraint_domain2
module TC = Transfer_functions.Term
module Constraints_smt = Constraints.Smt
module Make
(Constraints : Constraints.Constraints_sig.Constraints)
(Domain :
Constraint_domains_sig.Domain_S with module Constraints = Constraints) :
Domain_sig.Base