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