Domains.Domains_constraints_nonrelational
module Make
(Constraints : Constraints.Constraints_sig.Constraints)
(B : Single_value_abstraction.Sig.Binary_Integer_Basis) :
Constraint_domains_sig.Domain_S
with module Query.Boolean_Lattice = B.Boolean_Lattice
and module Query.Integer_Lattice = B.Integer_Lattice
and module Constraints = Constraints