PropCheck.BasicTypes.function0

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

Specs

function0(type()) :: type()

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