PropCheck.TargetedPBT.user_nf
You're seeing just the macro
user_nf
, go back to PropCheck.TargetedPBT module for more information.
This uses the neighborhood function nf
instead of PropEr's
constructed neighborhood function for this generator.
The neighborhood function nf
should be of type
fun(any(), {Depth :: number(), Temperature::float()} -> any()