- 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
The following predicates are exported, but not or incorrectly documented.