PropCheck.BasicTypes.function1

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

Specs

function1(type()) :: type()

A function with 1 parameter, i.e. function(1, ret_type)