Up
–
infer
»
Absint
»
AbstractDomain
»
DownwardIntDomain
» MaxCount
Parameter
DownwardIntDomain.MaxCount
val
max : int
must be positive