PropCheck.BasicTypes.function3

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

Specs

function3(type()) :: type()

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