PropCheck.TargetedPBT.user_matcher

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

user_matcher(generator, matcher)

View Source (macro)

This overwrites the structural matching of PropEr for the generator with the user provided matcher function.

The matcher should be of type :proper_gen_next.matcher()