PropCheck.BasicTypes.function2

You're seeing just the function function2, go back to PropCheck.BasicTypes module for more information.

Specs

function2(type()) :: type()

A function with 2 parameters, i.e. function(2, ret_type)