PropCheck.BasicTypes.neg_integer
You're seeing just the function
neg_integer
, go back to PropCheck.BasicTypes module for more information.
Specs
neg_integer() :: type()
Negative integers, i.e. integer(:inf, -1)