PropCheck.BasicTypes.non_empty

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

Specs

non_empty(raw_type()) :: type()

This is a predefined constraint that can be applied to random-length list and binary types to ensure that the produced values are never empty.

Use for e.g. list/0, char_list/0, binary/0