I’m trying to understand how tabling restraints are meant to be used. The documentation in:
Doesn’t give a very clear example. For example, I understand that the tripwire/2 hook should be used, but I’m not sure what arguments it takes exactly.
How about size_abstract_term/1, radial_restraint/0, etc, how are those to be used?