The following pages link to Replacing Verific built-in primitives/operators with user implementations: