Up
–
infer
»
Absint
»
AbstractDomain
» MaxCount
Module type
AbstractDomain.MaxCount
val
max : int
must be positive