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