Tabling restraints

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?