PropCheck.TargetedPBT.user_matcher
You're seeing just the macro
user_matcher
, go back to PropCheck.TargetedPBT module for more information.
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()