PropCheck.BasicTypes.function2
You're seeing just the function
function2
, go back to PropCheck.BasicTypes module for more information.
Specs
A function with 2 parameters, i.e. function(2, ret_type)