dump(+Target, -NewVars, -Constraints) is det

Returns in <Constraints>, the constraints that currently hold on Target where all variables in <Target> are copied to new variables in <NewVars> and the constraints are given on these new variables. In short, you can safely manipulate <NewVars> and <Constraints> without changing the constraints on <Target>.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 projecting_assert(Arg1)