PropCheck.TargetedPBT.not_exists

You're seeing just the macro not_exists, go back to PropCheck.TargetedPBT module for more information.
Link to this macro

not_exists(arg, list)

View Source (macro)

The not_exists macro uses the targeted PBT component of PropEr to try to find one instance of xs that makes the prop return false.

If such a xs is found the property passes. Note that there is no counterexample if no such xs could be found.