Module type Absint__AbstractDomain.MaxCount

val max : int

must be positive