PropCheck.BasicTypes.function4

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

Specs

function4(type()) :: type()

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